dec

cryspen · Feb 8, 2025 · c06bc7e · c06bc7e
1 parent 2d32b7b
commit c06bc7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hax-lib/macros/src/dummy.rs b/hax-lib/macros/src/dummy.rs
@@ -19,6 +19,7 @@ macro_rules! identity_proc_macro_attribute {
 }
 
 identity_proc_macro_attribute!(
+    decreases,
     fstar_options,
     fstar_verification_status,
     include,
@@ -42,7 +43,6 @@ identity_proc_macro_attribute!(
     fstar_after,
     coq_after,
     proverif_after,
-    decreases,
 );