fix printing of

jsiek · Dec 16, 2024 · 18d24dd · 18d24dd
1 parent b055932
commit 18d24dd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/should-error/prefix_operator.pf b/test/should-error/prefix_operator.pf
@@ -0,0 +1,5 @@
+
+theorem not_false: not false
+proof
+  ?
+end