1 files changed, 1 insertions, 1 deletions
diff --git a/src/PropToBool.v b/src/PropToBool.v
index bbe1967..6d12c99 100644
--- a/src/PropToBool.v
+++ b/src/PropToBool.v
@@ -50,7 +50,7 @@ Ltac prop2bool :=
       | bool =>
         lazymatch y with
         | true => fail
-        | _ => rewrite <- eqb_true_iff
+        | _ => rewrite <- (eqb_true_iff x y)
         end
       | _ =>
         lazymatch goal with