diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-06-10 04:27:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-12-11 12:43:25 +0100 |
| commit | 50159f9c1748ccf1d66341d171081a998d116d2f (patch) | |
| tree | ef58c58b10abcb45142b56d261bc15f034b2731e /ide | |
| parent | a758aac39aa330911f5f589ab3cae1bebed1e9ce (diff) | |
[flags] [stm] Reorganize flags.
We move the main async flags to the STM in preparation for
more state encapsulation.
There is still more work to do, in particular we should make some of
the defaults a parameter instead of a flag.
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/ide_slave.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml index cfc0e09a0..bd43d1ffc 100644 --- a/ide/ide_slave.ml +++ b/ide/ide_slave.ml @@ -13,7 +13,6 @@ open Util open Pp open Printer -module RelDecl = Context.Rel.Declaration module NamedDecl = Context.Named.Declaration module CompactedDecl = Context.Compacted.Declaration @@ -517,7 +516,7 @@ let rec parse = function let () = Coqtop.toploop_init := (fun args -> let args = parse args in Flags.quiet := true; - CoqworkmgrApi.(init Flags.High); + CoqworkmgrApi.(init High); args) let () = Coqtop.toploop_run := loop |