summaryrefslogtreecommitdiffstats
path: root/driver/optcompile.ml
diff options
context:
space:
mode:
Diffstat (limited to 'driver/optcompile.ml')
-rw-r--r--driver/optcompile.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml
index 7d1e67a94..897f03910 100644
--- a/driver/optcompile.ml
+++ b/driver/optcompile.ml
@@ -74,7 +74,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 =