Add more printing facilities and fix minor bugs

1 files changed, 3 insertions, 1 deletions

diff --git a/src/main.ml b/src/main.ml
index 46b54d55..a4de3d7a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -59,7 +59,9 @@ let () =
   (* Load the module *)
   let json = Yojson.Basic.from_file !filename in
   match cfim_module_of_json json with
-  | Error s -> main_log#error "error: %s\n" s
+  | Error s ->
+      main_log#error "error: %s\n" s;
+      exit 1
   | Ok m ->
       (* Print the module *)
       main_log#ldebug (lazy ("\n" ^ Print.Module.module_to_string m ^ "\n"));