From be2fd000db012b3738211ebee8db36001235c918 Mon Sep 17 00:00:00 2001
From: Aren Babikian <aren.babikian@mail.mcgill.ca>
Date: Thu, 14 Jan 2021 13:11:21 -0500
Subject: complete change of real representation BigDecimal->Double

---
 .../hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
index ab7f6ddc..db33804e 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericZ3ProblemSolver.java
@@ -174,7 +174,7 @@ public class NumericZ3ProblemSolver extends NumericProblemSolver{
 					int value = ((IntegerElement) matchedObj).getValue();
 					expr = (ArithExpr) ctx.mkInt(value);
 				} else {
-					double value = ((RealElement) matchedObj).getValue().doubleValue();
+					double value = ((RealElement) matchedObj).getValue();
 					expr = (ArithExpr) ctx.mkReal(String.valueOf(value));
 				}
 				varMap.put(matchedObj, expr);
-- 
cgit v1.2.3-54-g00ecf