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