Merge pull request #799 from hacspec/fix-one-zero-bounded-ints

fix(bounded-ints): zero and one were inverted
hacspec · Jul 24, 2024 · 2a66ae9 · 2a66ae9
2 parents 3ddbf4b + 2dbca93
commit 2a66ae9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/hax-bounded-integers/src/lib.rs b/hax-bounded-integers/src/lib.rs
@@ -215,14 +215,14 @@ macro_rules! derivate_operations_for_bounded {
             impl<INTRO_CONSTANTS> Zero for $bounded_t<USE_CONSTANTS> {
                 #[inline(always)]
                 fn zero() -> Self {
-                    Self::new(1)
+                    Self::new(0)
                 }
             }
 
             impl<INTRO_CONSTANTS> One for $bounded_t<USE_CONSTANTS> {
                 #[inline(always)]
                 fn one() -> Self {
-                    Self::new(0)
+                    Self::new(1)
                 }
             }