fix concatenation bug in triton_asm macro

Co-authored-by: Ferdinand Sauer <[email protected]>
TritonVM · Jul 14, 2023 · 60b0ec5 · 60b0ec5
1 parent 1a506ea
commit 60b0ec5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/triton-vm/src/lib.rs b/triton-vm/src/lib.rs
@@ -170,10 +170,10 @@ macro_rules! triton_asm {
         )
     };
     (@fmt $fmt:expr, $($args:expr,)*; {$e:expr}: $($tail:tt)*) => {
-        $crate::triton_asm!(@fmt concat!($fmt, "{}:"), $($args,)* $e,; $($tail)*)
+        $crate::triton_asm!(@fmt concat!($fmt, "{}: "), $($args,)* $e,; $($tail)*)
     };
     (@fmt $fmt:expr, $($args:expr,)*; {$e:expr} $($tail:tt)*) => {
-        $crate::triton_asm!(@fmt concat!($fmt, "{}"), $($args,)* $e,; $($tail)*)
+        $crate::triton_asm!(@fmt concat!($fmt, "{} "), $($args,)* $e,; $($tail)*)
     };
 
     [push $arg:literal; $num:expr] => { vec![ $crate::triton_instr!(push $arg); $num ] };