simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 20:55:39 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail

Browse source
This commit is contained in:
Simon Cruanes 2017-12-29 18:35:27 +01:00 • committed by Guillaume Bury
parent b2e646343a
commit 585bf6bd50
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/main/main.ml
View file

@ -198,10 +198,10 @@ let check () =
let main () = let main () =
(* Administrative duties *) (* Administrative duties *)
Arg.parse argspec input_file usage; Arg.parse argspec input_file usage;
if !file = "" then begin if !file = "" then (
Arg.usage argspec usage; Arg.usage argspec usage;
exit 2 exit 2
end; );
let al = Gc.create_alarm check in let al = Gc.create_alarm check in
(* Interesting stuff happening *) (* Interesting stuff happening *)