summaryrefslogtreecommitdiffstats
path: root/driver/compile.ml
diff options
context:
space:
mode:
Diffstat (limited to 'driver/compile.ml')
-rw-r--r--driver/compile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml
index 285db4743..d79101792 100644
--- a/driver/compile.ml
+++ b/driver/compile.ml
@@ -77,7 +77,7 @@ let parse_file inputfile parse_fun ast_magic =
else false
with
Outdated_version ->
- failwith "Ocaml and preprocessor have incompatible versions"
+ fatal_error "Ocaml and preprocessor have incompatible versions"
| _ -> false
in
let ast =