From 9e525feb932a32ab10f195a4b48b323c3bf41618 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Wed, 15 Jan 2025 06:28:54 +0100
Subject: [PATCH] avoid hard-coded access of type tool object

---
 src/main/java/de/tla2b/types/AbstractHasFollowers.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/main/java/de/tla2b/types/AbstractHasFollowers.java b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
index 9da88b8..afbbc88 100644
--- a/src/main/java/de/tla2b/types/AbstractHasFollowers.java
+++ b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
@@ -1,5 +1,6 @@
 package de.tla2b.types;
 
+import de.tla2b.analysis.TypeChecker;
 import tla2sany.semantic.SemanticNode;
 
 import java.util.ArrayList;
@@ -37,7 +38,7 @@ public abstract class AbstractHasFollowers extends TLAType {
 		// avoid concurrent modification:
 		new ArrayList<>(followers).forEach(follower -> {
 			if (follower instanceof SemanticNode) {
-				((SemanticNode) follower).setToolObject(5, newType);
+				TypeChecker.setType((SemanticNode) follower, newType);
 				if (newType instanceof AbstractHasFollowers) {
 					((AbstractHasFollowers) newType).addFollower(follower);
 				}
-- 
GitLab