diff --git a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java index 10838c4195ebdb3802a90fb39c76c3800c866b18..f7abed472d04ee9fa0a7fdf6e099ed02561ee1f0 100644 --- a/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java +++ b/jastadd-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java @@ -163,7 +163,7 @@ public class EMFeRSolver implements BenchmarkableSolver { } lastSolvingTime = stopWatch.time(TimeUnit.MILLISECONDS); - + lastSolution = bestSolution; return bestSolution; }