diff options
| author | Emilio Jesus Gallego Arias | 2019-02-22 11:52:30 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-22 11:52:30 +0100 |
| commit | fa3a97426013cf940cd25abde43c0191766218b1 (patch) | |
| tree | 9a007accd6feef4a852610dbc6095f5e5d68cd59 /checker | |
| parent | 5f7bb95b6532a6983a2d1880aa531e4e4dd6568d (diff) | |
| parent | 2abf8037772ee1bb9fbfa255800222663daf18e5 (diff) | |
Merge PR #9614: Fix #9613 use -coqlib when invoking coqchk
Reviewed-by: ejgallego
Diffstat (limited to 'checker')
| -rw-r--r-- | checker/checker.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checker/checker.ml b/checker/checker.ml index 3db7ccdcae..4dac02210b 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -189,6 +189,7 @@ let print_usage_channel co command = \n -admit module load module and dependencies without checking\ \n -norec module check module but admit dependencies without checking\ \n\ +\n -coqlib dir set coqchk's standard library location\ \n -where print coqchk's standard library location and exit\ \n -v print coqchk version and exit\ \n -boot boot mode\ |