1 files changed, 1 insertions, 1 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
index 3db21ea4..7751c8eb 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend
@@ -46,7 +46,7 @@ class PartialModelAsLogicInterpretation implements LogicModelInterpretation{
                 

                 this.elementBackwardTrace = initElementBackwardTrace(trace)

                 this.booleanForwardTrace = initialisePrimitiveElementTrace(

-                        null,null,null,partialInterpretation.booleanelements,[it.value])

+                        null,null,[null],partialInterpretation.booleanelements,[it.value])

                 integerForwardTrace = initialisePrimitiveElementTrace(

                         0,[it+1],[it],partialInterpretation.integerelements,[it.value])

                 realForwardTrace = initialisePrimitiveElementTrace(