diff --git a/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java b/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java index be792fd4b2..e822f13938 100644 --- a/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java +++ b/core/typechecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java @@ -1814,9 +1814,9 @@ private void setMeasureExp(TypeCheckInfo question, SFunctionDefinitionBase node, def.setClassDefinition(node.getClassDefinition() == null ? null : node.getClassDefinition().clone()); def.setAccess(node.getAccess().clone()); question.assistantFactory.createPDefinitionAssistant().typeResolve(def, THIS, question); - def.apply(THIS, question); - + node.setMeasureDef(def); + def.apply(THIS, question); } /**