From 5d4d87b10fc79a5f887062ccdc8720b854b8b21e Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Sat, 10 May 2014 14:26:13 +0200
Subject: [PATCH] Fixed bug in typechecker
---
src/main/java/de/tla2b/analysis/TypeChecker.java | 3 +++
1 file changed, 3 insertions(+)
diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index f758ceb..2d82078 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);
--
GitLab