From ca1e53f0ca5e8d61699ce7c34494cb85c2b04ee8 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 13 Dec 2020 20:37:05 -0500
Subject: prep for refactoring Numeric Probelm Solvers

---
 .../mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
index 6393121b..00cf7e59 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/ExpressionEvaluation2Logic.xtend
@@ -14,10 +14,10 @@ import org.eclipse.xtext.xbase.XUnaryOperation
 
 class ExpressionEvaluation2Logic {
 	val extension LogicProblemBuilder builder = new LogicProblemBuilder
-	var NumericProblemSolver _numericSolver = null //new NumericProblemSolver
+	var NumericZ3ProblemSolver _numericSolver = null //new NumericProblemSolver
 	def getNumericSolver() {
 		if(_numericSolver === null) {
-			_numericSolver = new NumericProblemSolver
+			_numericSolver = new NumericZ3ProblemSolver
 		}
 		return _numericSolver
 	}
-- 
cgit v1.2.3-70-g09d2