diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java index f758cebad3f5989f5ec1fcbd89f7933804ad46bb..2d820787637d4b5afef246644d05c9426b131e82 100644 --- a/src/main/java/de/tla2b/analysis/TypeChecker.java +++ b/src/main/java/de/tla2b/analysis/TypeChecker.java @@ -101,6 +101,9 @@ public class TypeChecker extends BuiltInOPs implements IType, ASTConstants, && constantAssignments.containsKey(con)) { TLAType t = constantAssignments.get(con).getType(); con.setToolObject(TYPE_ID, t); + if(t instanceof AbstractHasFollowers){ + ((AbstractHasFollowers) t).addFollower(con); + } } else { Untyped u = new Untyped(); con.setToolObject(TYPE_ID, u);