nicer formatting

cryspen · Dec 12, 2024 · 44ce983 · 44ce983
1 parent 9a2f48f
commit 44ce983
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
@@ -22,7 +22,7 @@ pub fn requires(attr: TokenStream, item: TokenStream) -> TokenStream {
     let phi: syn::Expr = parse_macro_input!(attr);
 
     quote! {
-        #[doc=concat!("Requires: ",stringify!(#phi))]
+        #[doc=concat!("Requires:\n```\n",stringify!(#phi),"\n```")]
         #item
     }.into()
 }