1 files changed, 3 insertions, 3 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 d371b89e..4e2e1890 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
@@ -41,9 +41,9 @@ class SMTSolver extends LogicReasoner{
                 } else throw new IllegalArgumentException('''The configuration have to be an «SmtSolverConfiguration.simpleName»!''')

         }

         

-        override getInterpretation(ModelResult modelResult) {

-                val representation = modelResult.representation as SMTDocument

+        override getInterpretations(ModelResult modelResult) {

+                val representation = modelResult.representation.head as SMTDocument

                 val trace = modelResult.trace as Logic2SmtMapperTrace

-                return new SmtModelInterpretation(trace.problem,representation,trace.forwardMapper,trace)

+                return #[new SmtModelInterpretation(trace.problem,representation,trace.forwardMapper,trace)]

         }

 }
\ No newline at end of file