From f1e19940703e1681ecebce15a9a1c1a0aa5a04b0 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 17 Feb 2025 17:23:27 +0100
Subject: [PATCH] fix(name-crate/props): fix implies

---
 engine/names/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/engine/names/src/lib.rs b/engine/names/src/lib.rs
index 72aabe404..88eff705d 100644
--- 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();