diff --git a/src/main/java/de/tla2b/types/AbstractHasFollowers.java b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
index 057ee586ceda6de50881b959bb90107703415644..295c4cf55759507abf62fd129dbf40722270a146 100644
--- a/src/main/java/de/tla2b/types/AbstractHasFollowers.java
+++ b/src/main/java/de/tla2b/types/AbstractHasFollowers.java
@@ -45,8 +45,6 @@ public abstract class AbstractHasFollowers extends TLAType {
 				if (newType instanceof AbstractHasFollowers) {
 					((AbstractHasFollowers) newType).addFollower(follower);
 				}
-			} else if (follower instanceof AbstractSymbol) {
-				((AbstractSymbol) follower).setType(newType);
 			} else if (follower instanceof SetType) {
 				((SetType) follower).setSubType(newType);
 			} else if (follower instanceof TupleType) {
diff --git a/src/main/java/de/tla2b/types/AbstractSymbol.java b/src/main/java/de/tla2b/types/AbstractSymbol.java
deleted file mode 100644
index 027cb69cbbc6bce861a6a5efeb473052f61e7b82..0000000000000000000000000000000000000000
--- a/src/main/java/de/tla2b/types/AbstractSymbol.java
+++ /dev/null
@@ -1,22 +0,0 @@
-package de.tla2b.types;
-
-public abstract class AbstractSymbol {
-
-	private TLAType type;
-
-	public AbstractSymbol(TLAType t) {
-		setType(t);
-	}
-
-	public TLAType getType() {
-		return type;
-	}
-
-	protected void setType(TLAType t) {
-		this.type = t;
-		if (type instanceof AbstractHasFollowers) {
-			AbstractHasFollowers p = (AbstractHasFollowers) t;
-			p.addFollower(this);
-		}
-	}
-}