print string

cryspen · Feb 6, 2025 · 73a9630 · 73a9630
1 parent 53e21d5
commit 73a9630
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/hax-lib/macros/src/dummy.rs b/hax-lib/macros/src/dummy.rs
@@ -49,7 +49,10 @@ identity_proc_macro_attribute!(
 #[proc_macro_attribute]
 pub fn requires(attr: pm::TokenStream, item: pm::TokenStream) -> pm::TokenStream {
     let item: TokenStream = item.into();
-    let payload = format!(r#"Pre-Condition: ``` {} ```"#, attr.clone().to_string());
+    let payload = format!(r#"Pre-Condition: 
+```
+{} 
+```"#, attr.clone().to_string());
     let phi: syn::Expr = parse_macro_input!(attr);
     let payload = LitStr::new(&payload, phi.span());
     quote! {
@@ -64,7 +67,10 @@ pub fn requires(attr: pm::TokenStream, item: pm::TokenStream) -> pm::TokenStream
 #[proc_macro_attribute]
 pub fn ensures(attr: pm::TokenStream, item: pm::TokenStream) -> pm::TokenStream {
     let item: TokenStream = item.into();
-    let payload = format!(r#"Post-Condition: ``` {} ```\"#, attr.clone().to_string());
+    let payload = format!(r#"Post-Condition: 
+``` 
+{} 
+```"#, attr.clone().to_string());
     let phi: syn::Expr = parse_macro_input!(attr);
     let payload = LitStr::new(&payload, phi.span());
     quote! {