diff options
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; |