From 74e007c2ec3f3e053745ad10c29555e5f6c283cb Mon Sep 17 00:00:00 2001
From: Roman Venediktov <e2e4b6b7@gmail.com>
Date: Mon, 1 Jul 2024 12:06:30 +0200
Subject: [PATCH] Renamed X86 to X86_64

---
 src/Driver.ml             | 4 ++--
 src/{X86.ml => X86_64.ml} | 0
 src/dune                  | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
 rename src/{X86.ml => X86_64.ml} (100%)

diff --git a/src/Driver.ml b/src/Driver.ml
index ee147f3c2..226f59072 100644
--- a/src/Driver.ml
+++ b/src/Driver.ml
@@ -30,7 +30,7 @@ class options args =
     val i = ref 1
     val infile = ref (None : string option)
     val outfile = ref (None : string option)
-    val paths = ref [ X86.get_std_path () ]
+    val paths = ref [ X86_64.get_std_path () ]
     val mode = ref (`Default : [ `Default | `Eval | `SM | `Compile | `BC ])
     val curdir = Unix.getcwd ()
     val debug = ref false
@@ -196,7 +196,7 @@ let[@ocaml.warning "-32"] main =
         cmd#dump_AST (snd prog);
         cmd#dump_source (snd prog);
         match cmd#get_mode with
-        | `Default | `Compile -> ignore @@ X86.build cmd prog
+        | `Default | `Compile -> ignore @@ X86_64.build cmd prog
         | `BC -> SM.ByteCode.compile cmd (SM.compile cmd prog)
         | _ ->
             let rec read acc =
diff --git a/src/X86.ml b/src/X86_64.ml
similarity index 100%
rename from src/X86.ml
rename to src/X86_64.ml
diff --git a/src/dune b/src/dune
index 3955618ef..955cc5ee6 100644
--- a/src/dune
+++ b/src/dune
@@ -45,7 +45,7 @@
 
 (library
  (name liba)
- (modules Language Pprinter stdpath version X86 SM)
+ (modules Language Pprinter stdpath version X86_64 SM)
  (libraries GT ostap posix-uname)
  (flags
   (:standard