typo

cryspen · Feb 14, 2025 · b2995bc · b2995bc
1 parent 8a196ff
commit b2995bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-lib/proofs/fstar/extraction/Hax_lib.Abstraction.fst b/hax-lib/proofs/fstar/extraction/Hax_lib.Abstraction.fst
@@ -1,4 +1,4 @@
 module Hax_lib.Abstraction
 open Rust_primitives
 
-let f_lift #a #b x = v x
+let f_lift #a #b = v