diff options
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index e20c95b9e..9614c6f3b 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -739,7 +739,7 @@ let coqtop_arguments sn = let args = String.concat " " args in let msg = Printf.sprintf "Invalid arguments: %s" args in let () = sn.messages#clear in - sn.messages#push Interface.Error msg + sn.messages#push Pp.Error msg else dialog#destroy () in let _ = entry#connect#activate ok_cb in |