A minor change

tnelson · tnelson · Jan 9, 2025 · Jan 4, 2025 · Jan 4, 2025 · Jan 4, 2025
commit 081b310d0cc26518a6f6589aea000d69d5f48ccd
diff --git a/forge/tests/error/consistency-error.frg b/forge/tests/error/consistency-error.frg
@@ -6,7 +6,10 @@ option verbose 0
 sig Node {edges: set Node}
 
 
+
+
 pred q { no Node }
 
+// Assertions do not support is_forge_error
 assert (some Node) is consistent with q
 
diff --git a/forge/tests/forge/other/consistency-assertions.frg b/forge/tests/forge/other/consistency-assertions.frg
@@ -18,7 +18,7 @@ assert {} is consistent with p
 
 test suite for p {
 	assert q is consistent with p
-	assert (lone edges) is 	consistent with p
+	assert lone edges is 	consistent with p
 	assert (lone edges) is 	consistent with p for 1 Node
 	assert (some edges) is 	inconsistent with p for 1 Node
 	assert q is 			inconsistent with p for exactly 2 Node