diff options
Diffstat (limited to 'aarch64/TargetPrinter.ml')
-rw-r--r-- | aarch64/TargetPrinter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index 6e7b3fba..800348a7 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -706,7 +706,7 @@ let sel_target () = let module S = (val (match Configuration.system with | "linux" -> (module ELF_System : SYSTEM) - | "macosx" -> (module MacOS_System : SYSTEM) + | "macos" -> (module MacOS_System : SYSTEM) | _ -> invalid_arg ("System " ^ Configuration.system ^ " not supported")) : SYSTEM) in (module Target(S) : TARGET) |