Make boot flag into a normal option (no global flag).

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/envars.ml b/lib/envars.ml
index b5036e7340..8a75d9a552 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -110,11 +110,11 @@ let set_user_coqlib path = coqlib := Some path
 
 (** coqlib is now computed once during coqtop initialization *)
 
-let set_coqlib ~fail =
+let set_coqlib ~boot ~fail =
   match !coqlib with
   | Some _ -> ()
   | None ->
-    let lib = if !Flags.boot then coqroot else guess_coqlib fail in
+    let lib = if boot then coqroot else guess_coqlib fail in
     coqlib := Some lib
 
 let coqlib () = Option.default "" !coqlib