1 files changed, 3 insertions, 1 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 1e5c1f29..e8c20138 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
@@ -13,16 +13,18 @@ public class NumericDynamicProblemSolver extends NumericProblemSolver{
         
 //      private NumericZ3ProblemSolver z3Solver;
         private NumericDrealProblemSolver drealSolver;
+        private int timeout;
         
         public NumericDynamicProblemSolver(String drealLocalPath, int drealTimeout) throws IOException, InterruptedException {
 //              this.z3Solver = new NumericZ3ProblemSolver();
                 this.drealSolver = new NumericDrealProblemSolver(false, drealLocalPath, drealTimeout);
+                this.timeout = drealTimeout;
         }
         
         public NumericProblemSolver selectSolver(String selection) {
                 switch (selection) {
                 case "z3":
-                        return new NumericZ3ProblemSolver();
+                        return new NumericZ3ProblemSolver(timeout);
                 case "dreal":
                         return this.drealSolver;
                 default: