Update tests/attributes/src/lib.rs

Co-authored-by: Franziskus Kiefer <[email protected]>
hacspec · Jul 10, 2024 · 0b3e700 · 0b3e700
1 parent 3b5a15d
commit 0b3e700
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/attributes/src/lib.rs b/tests/attributes/src/lib.rs
@@ -225,7 +225,7 @@ mod refinement_types {
 }
 mod nested_refinement_elim {
     use hax_lib::*;
-    #[hax_lib::refinement_type(|x| true)]
+    #[refinement_type(|x| true)]
     pub struct DummyRefinement(u16);
 
     fn elim_twice(x: DummyRefinement) -> u16 {