From 161c9162c1f172dfbc5e4f5d9de8f0863ae558c0 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Fri, 8 Mar 2013 13:24:19 +0100
Subject: [PATCH] minor refactoring
---
.../prob/eventb/translator/internal/TranslationVisitor.java | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
index 6c87173e..75d103e4 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/TranslationVisitor.java
@@ -450,10 +450,8 @@ public class TranslationVisitor implements ISimpleVisitor {
public void visitRelationalPredicate(final RelationalPredicate predicate) {
// EQUAL, NOTEQUAL, LT, LE, GT, GE, IN, NOTIN, SUBSET,
// NOTSUBSET, SUBSETEQ, NOTSUBSETEQ
- predicate.getLeft().accept(this);
- final PExpression left = expressions.pop();
- predicate.getRight().accept(this);
- final PExpression right = expressions.pop();
+ final PExpression left = getExpression(predicate.getLeft());
+ final PExpression right = getExpression(predicate.getRight());
final PPredicate result;
switch (predicate.getTag()) {
case Formula.EQUAL:
--
GitLab