diff options
Diffstat (limited to 'toplevel/coqargs.ml')
| -rw-r--r-- | toplevel/coqargs.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/coqargs.ml b/toplevel/coqargs.ml index 98a28bb2b6..1baaa8a45f 100644 --- a/toplevel/coqargs.ml +++ b/toplevel/coqargs.ml @@ -376,8 +376,7 @@ let parse_args arglist : coq_cmdopts * string list = (* Options with one arg *) |"-coqlib" -> - Flags.coqlib_spec := true; - Flags.coqlib := (next ()); + Envars.set_user_coqlib (next ()); oval |"-async-proofs" -> |