1 files changed, 1 insertions, 1 deletions

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);