From b42cd1ad390cf2c6ef10c954d04b4183739e1095 Mon Sep 17 00:00:00 2001
From: Jason Hu <fdhzs2010@hotmail.com>
Date: Mon, 16 Sep 2024 10:43:26 -0400
Subject: [PATCH] Update Mcltt.ml (#211)

avoid exit code clashing
---
 driver/Mcltt.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/driver/Mcltt.ml b/driver/Mcltt.ml
index b3ebaa5..29ca6d2 100644
--- a/driver/Mcltt.ml
+++ b/driver/Mcltt.ml
@@ -5,7 +5,7 @@ let () =
   then begin
     Printf.fprintf stderr
       "Missing <input-file> argument.\nUsage: %s <input-file>\n" Sys.argv.(0);
-    exit 5
+    exit 7
   end;
   let filename = Sys.argv.(1) in
   let code = main_of_filename filename in