From f5afda733ffdf4f52da932e03919c20b99bf7fa6 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Tue, 15 Dec 2020 13:18:17 -0500
Subject: Add config flag for selecting numeric solver. Integ with Z3

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

(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 b9942a17..1b68fed2 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
@@ -17,7 +17,8 @@ class ExpressionEvaluation2Logic {
 	var NumericProblemSolver _numericSolver = null //new NumericProblemSolver
 	def getNumericSolver() {
 		if(_numericSolver === null) {
-			_numericSolver = (new NumericTranslator).selectProblemSolver
+			// it seems like this getter has no use
+			_numericSolver = (new NumericTranslator(null)).selectProblemSolver
 		}
 		return _numericSolver
 	}
-- 
cgit v1.2.3-70-g09d2