fix hidden bug

ufmg-smite · Oct 25, 2023 · d089718 · d089718
1 parent 69469e0
commit d089718
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Smt/Tactic/Cvc5Proof.lean b/Smt/Tactic/Cvc5Proof.lean
@@ -118,7 +118,7 @@ def cvc5Proof2 : Cvc5Proof := {
 
 def cvc5Proof3 : Cvc5Proof := {
   steps := [ .intro `lean_a0
-           , .thm `pf "True" `lean_a0 []
+           , .thm `pf "False" `lean_a0 []
            ]
   lastName := `pf
 }