Small fix for measure expressions, see #15

overturetool · Dec 22, 2019 · f5a67a6 · f5a67a6
1 parent af5a48c
commit f5a67a6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...echecker/src/main/java/org/overture/typechecker/visitor/TypeCheckerDefinitionVisitor.java b/...echecker/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);
 	}
 
 	/**