Skip to content

Commit

Permalink
Update Mcltt.ml (#211)
Browse files Browse the repository at this point in the history
avoid exit code clashing
  • Loading branch information
HuStmpHrrr authored Sep 16, 2024
1 parent 03b83cc commit b42cd1a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion driver/Mcltt.ml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit b42cd1a

Please sign in to comment.