From c0b1394d30aaca50d941b62f6bbd1ba3a41e4e74 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 28 Feb 2020 16:51:29 +0100
Subject: [PATCH] also accept TypeOK as invariant name
---
src/main/java/de/tla2b/analysis/SpecAnalyser.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index ff52783..7ad8da1 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
--
GitLab