Commits

Calascibetta Romain  committed e5e2401

Add "@" in front of identifier global

  • Participants
  • Parent commits d9a23b4

Comments (0)

Files changed (1)

   in let string_align = match align with
     | None                  -> ""
     | Some a                -> ", align " ^ (string_of_int a)
-  in id ^ string_thread_local ^ string_address ^ string_link_type
+  in "@" ^ id ^ string_thread_local ^ string_address ^ string_link_type
   ^ string_constant ^ string_data_type ^ string_section ^ string_align
 
 let print_global a = print_string (string_of_global a)