adapted example

vale1410 · Jan 6, 2021 · af0ad0c · af0ad0c
1 parent 6954d25
commit af0ad0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/qbf_true.bul b/examples/qbf_true.bul
@@ -1,4 +1,4 @@
 #forall[1] :: y?
-#exists[2] :: x?
+#exists[1] :: x?
 ~x, y. 
 x, ~y.