first
This commit is contained in:
commit
29d8387656
6 changed files with 21 additions and 0 deletions
4
usage.ml
Normal file
4
usage.ml
Normal file
|
@ -0,0 +1,4 @@
|
|||
let exit args =
|
||||
let err = Format.sprintf "usage: %s %s" Sys.argv.(0) args in
|
||||
print_endline err;
|
||||
exit 1
|
Loading…
Add table
Add a link
Reference in a new issue