From f5a67a6a14c61039fffb4532065978b78b3e9313 Mon Sep 17 00:00:00 2001 From: nick_battle Date: Sun, 22 Dec 2019 17:21:39 +0000 Subject: [PATCH] Small fix for measure expressions, see #15 --- .../typechecker/visitor/TypeCheckerDefinitionVisitor.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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); } /**