1 files changed, 0 insertions, 10 deletions
diff --git a/lib/cErrors.ml b/lib/cErrors.ml
index 9cbc3fb6d..a05964039 100644
--- a/lib/cErrors.ml
+++ b/lib/cErrors.ml
@@ -147,13 +147,3 @@ let handled e =
   let bottom _ = raise Bottom in
   try let _ = print_gen bottom !handle_stack e in true
   with Bottom -> false
-
-(** Prints info which is either an error or
-   an anomaly and then exits with the appropriate
-   error code *)
-
-let fatal_error info anomaly =
-  let msg = info ++ fnl () in
-  pp_with !Pp_control.err_ft msg;
-  Format.pp_print_flush !Pp_control.err_ft ();
-  exit (if anomaly then 129 else 1)