diff --git a/src/main.ml b/src/main.ml index 9a9b01a8bf3bbd410846a66dfcccf4127ddc394d..bc097c4ed001ee8cfdf86707ce1dbe6101996d74 100644 --- a/src/main.ml +++ b/src/main.ml @@ -127,7 +127,7 @@ let verify_cmd = in let loadpath = let doc = "Additional loadpath." in - Arg.(value & opt_all string [] & info [ "L" ] ~doc) + Arg.(value & opt_all string [ "." ] & info [ "L"; "loadpath" ] ~doc) in let memlimit = let doc = "Memory limit (in megabytes)." in