fix(name-crate/props): fix implies

cryspen · Feb 17, 2025 · f1e1994 · f1e1994
1 parent 73411b4
commit f1e1994
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/engine/names/src/lib.rs b/engine/names/src/lib.rs
@@ -40,7 +40,7 @@ fn dummy_hax_concrete_ident_wrapper<I: core::iter::Iterator<Item = u8>>(x: I, mu
         constructors::not(x);
         constructors::eq(x, x);
         constructors::ne(x, x);
-        constructors::implies(x, || x);
+        constructors::implies(x, x);
         constructors::forall(|_: ()| x);
         constructors::exists(|_: ()| x);
 
@@ -56,7 +56,7 @@ fn dummy_hax_concrete_ident_wrapper<I: core::iter::Iterator<Item = u8>>(x: I, mu
 
         forall(|_: ()| x);
         exists(|_: ()| x);
-        implies(x, || x);
+        implies(x, x);
     }
 
     let _ = [()].into_iter();