diff --git a/src/cccatt.ml b/src/cccatt.ml index cae204f..f9ec47e 100644 --- a/src/cccatt.ml +++ b/src/cccatt.ml @@ -18,4 +18,5 @@ let () = | Failure e -> e | e -> Printexc.to_string e in - Printf.printf "\nError: %s\n\n%s%!" e bt + Printf.printf "\nError: %s\n\n%s%!" e bt; + exit 1