diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index abaadca034932878240e44d8cc46bd01605fffdf..ff52783504f485d184ad987d9ced0a6a639684d5 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -124,6 +124,8 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
 			specAnalyser.invariants.add(definitions.get("Invariant"));
 		} else if (definitions.containsKey("Invariants")) {
 			specAnalyser.invariants.add(definitions.get("Invariants"));
+		} else if (definitions.containsKey("TypeInv")) {
+			specAnalyser.invariants.add(definitions.get("TypeInv"));
 		}
 		// TODO are constant in the right order