Fix POType existential for inv satisfiability

nickbattle · Nov 5, 2023 · 8108dc6 · 8108dc6
1 parent e69684f
commit 8108dc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POType.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POType.java
@@ -64,7 +64,7 @@ public enum POType
 	TOTAL_ORDER("total order"),
 	EQUIV_RELATION("equivalence relation"),
 	TOTAL("total function"),
-	INV_SATISFIABILITY("invariant satisfiability"),
+	INV_SATISFIABILITY("invariant satisfiability", true),
 	THEOREM("theorem"),
 	STATE_INIT("state init", true);