1 files changed, 2 insertions, 2 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
index bd4a10ff..1e5c1f29 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDynamicProblemSolver.java
@@ -14,9 +14,9 @@ public class NumericDynamicProblemSolver extends NumericProblemSolver{
 //      private NumericZ3ProblemSolver z3Solver;
         private NumericDrealProblemSolver drealSolver;
         
-        public NumericDynamicProblemSolver(String drealLocalPath) throws IOException, InterruptedException {
+        public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
 //              this.z3Solver = new NumericZ3ProblemSolver();
-                this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath);
+                this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout);
         }
         
         public NumericProblemSolver selectSolver(String selection) {