Commit 46cb88d8 authored by Armaël Guéneau's avatar Armaël Guéneau

Fix alignment of -where options

parent 9cd45800
......@@ -43,7 +43,7 @@ let spec =
("-debug", Arg.Set is_tracing, " trace the various steps");
("-width", Arg.Set_int Print_coq.width, " set pretty-printing width for the .v file");
("-where", Arg.Unit (fun () -> print_endline Cfml_config.libdir; exit 0),
"print CFML's library files location and exit");
" print CFML's library files location and exit");
]
(*
......
......@@ -28,7 +28,7 @@ let _ =
("-nostdlib", Arg.Set no_mystd_include, "do not include standard library");
("-nopervasives", Arg.Set Clflags.nopervasives, "do not include standard pervasives file");
("-where", Arg.Unit (fun () -> print_endline Cfml_config.libdir; exit 0),
"print CFML's library files location and exit");
" print CFML's library files location and exit");
]
(fun f -> files := f::!files)
("usage: [-I dir] [..other options..] file.mli");
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment