From a4648e58195730211e1717a8ae6fb429625df12a Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Wed, 26 Jun 2024 15:25:33 +0200
Subject: [PATCH] Fix global to _global

---
 src/X86.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/X86.ml b/src/X86.ml
index 13d58edb8..03eb4b821 100644
--- a/src/X86.ml
+++ b/src/X86.ml
@@ -1092,7 +1092,7 @@ class env prg =
     method loc x =
       match x with
       | Value.Global name ->
-          let loc_name = "global_" ^ name in
+          let loc_name = "_global_" ^ name in
           let ext = if self#is_external name then E else I in
           M (D, ext, V, loc_name)
       | Value.Fun name ->
@@ -1146,7 +1146,7 @@ class env prg =
     (* registers a variable in the environment *)
     method variable x =
       match x with
-      | Value.Global name -> {<globals = S.add ("global_" ^ name) globals>}
+      | Value.Global name -> {<globals = S.add ("_global_" ^ name) globals>}
       | _ -> self
 
     (* registers a string constant *)