diff options
Diffstat (limited to 'stm')
| -rw-r--r-- | stm/vernac_classifier.ml | 3 | ||||
| -rw-r--r-- | stm/workerLoop.ml | 2 |
2 files changed, 2 insertions, 3 deletions
diff --git a/stm/vernac_classifier.ml b/stm/vernac_classifier.ml index fb6adaec5f..c4f392f201 100644 --- a/stm/vernac_classifier.ml +++ b/stm/vernac_classifier.ml @@ -202,8 +202,7 @@ let rec classify_vernac e = (* What are these? *) | VernacToplevelControl _ | VernacRestoreState _ - | VernacWriteState _ - | VernacError _ -> VtUnknown, VtNow + | VernacWriteState _ -> VtUnknown, VtNow (* Plugins should classify their commands *) | VernacExtend (s,l) -> try List.assoc s !classifiers l () diff --git a/stm/workerLoop.ml b/stm/workerLoop.ml index 50b42512cb..86ef59dc30 100644 --- a/stm/workerLoop.ml +++ b/stm/workerLoop.ml @@ -13,7 +13,7 @@ let rec parse = function let loop init args = let args = parse args in - Flags.make_silent true; + Flags.quiet := true; init (); CoqworkmgrApi.init !Flags.async_proofs_worker_priority; args |