1 files changed, 1 insertions, 2 deletions

diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend
index 4e2e1890..76b1ddbd 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/src/hu/bme/mit/inf/dslreasoner/smt/reasoner/SMTSolver.xtend
@@ -35,8 +35,7 @@ class SMTSolver extends LogicReasoner{
                         handler.callSolver(input,configuration)

                         val solverTime = System.currentTimeMillis - solverTimeStart

                         val outputModel = workspace.reloadModel(typeof(SMTDocument), "problem.smt2")

-                        EcoreUtil.resolveAll(outputModel)

-                        workspace.deactivateModel("problem.smt2")

+                        EcoreUtil.resolveAll(outputModel.eResource)

                         return backMapper.transformOutput(problem,outputModel.output,trace, transformationTime, solverTime)

                 } else throw new IllegalArgumentException('''The configuration have to be an «SmtSolverConfiguration.simpleName»!''')

         }