diff options
| author | Enrico Tassi | 2021-01-06 17:13:59 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-27 09:45:49 +0100 |
| commit | f5ec3f5cbd4bc2e0f65e1c52143b199ce7c2a5ad (patch) | |
| tree | 5b8287e69fcc7e782d2095cc0008cf5fedf47ae3 /ide | |
| parent | b9bac1d7ef4a4c06ebe842ffd9aac322186a65d3 (diff) | |
[coqtop] handle -print-module-uid after initialization
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide/idetop.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ide/coqide/idetop.ml b/ide/coqide/idetop.ml index 2941497c12..b42c705add 100644 --- a/ide/coqide/idetop.ml +++ b/ide/coqide/idetop.ml @@ -516,7 +516,8 @@ let msg_format = ref (fun () -> let loop ( { Coqtop.run_mode; color_mode },_) ~opts:_ state = match run_mode with | Coqtop.Batch -> exit 0 - | Coqtop.Query_PrintTags -> Coqtop.print_style_tags color_mode; exit 0 + | Coqtop.(Query PrintTags) -> Coqtop.print_style_tags color_mode; exit 0 + | Coqtop.(Query _) -> Printf.eprintf "Unknown query"; exit 1 | Coqtop.Interactive -> let open Vernac.State in set_doc state.doc; |