1 files changed, 3 insertions, 1 deletions
diff --git a/driver/Frontend.ml b/driver/Frontend.ml
index bb97e945..183908d3 100644
--- a/driver/Frontend.ml
+++ b/driver/Frontend.ml
@@ -117,7 +117,9 @@ let init () =
     | "riscV"   -> if Configuration.model = "64"
                    then Machine.rv64
                    else Machine.rv32
-    | "aarch64" -> Machine.aarch64
+    | "aarch64" -> if Configuration.abi = "apple"
+                   then Machine.aarch64_apple
+                   else Machine.aarch64
     | _         -> assert false
   end;
   Env.set_builtins C2C.builtins;