fixup

cryspen · May 2, 2024 · 1ce7d17 · 1ce7d17
1 parent 4fc4a5c
commit 1ce7d17
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
@@ -241,8 +241,8 @@ const _: () = {
 fn tests() {
     use hax_lib::*;
 
-    let x: BoundedU8<0, 5> = 2.refine();
-    let y: BoundedU8<5, 10> = (x + x).refine();
+    let x: BoundedU8<0, 5> = 2.check();
+    let y: BoundedU8<5, 10> = (x + x).check();
 
     let _ = x >> 3;
     let _ = x >> BoundedU8::<0, 5>::new(3);