Commits

Jacques-Pascal Deplaix  committed 30fdfcf

Fixing the printer of global variables

  • Participants
  • Parent commits 18dcc33

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 string_of_declaration
   type_return id type_arguments =
   Declaration (type_return, id, type_arguments)
 
-let print_context_module e = 
+let print_context_module e =
   let aux = function
     | Global a -> print_global a
     | Declaration a -> print_declaration a