fix abs

cryspen · Feb 9, 2025 · 49473b2 · 49473b2
1 parent 491cfa5
commit 49473b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-lib/src/dummy.rs b/hax-lib/src/dummy.rs
@@ -143,7 +143,7 @@ pub mod int {
         ($ty:ident $method:ident) => {
             impl Concretization<$ty> for Int {
                 fn concretize(self) -> $ty {
-                    self.0 as $ty;
+                    self.0 as $ty
                 }
             }
             impl Int {