From c821fff1b512e66f0aa588c38f952045084777ac Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Jan 2022 15:26:20 +0100
Subject: Add more printing facilities and fix minor bugs

---
 src/main.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/main.ml')

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"));
-- 
cgit v1.2.3