diff options
| -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 dabfd763d..c99dee7f1 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -771,7 +771,7 @@ object(self) (!info, !error) method private show_error phrase loc msg = match loc with - | None -> () + | None -> self#set_message msg | Some (start, stop) -> let soi = self#get_start_of_input in let start = soi#forward_chars (byte_offset_to_char_offset phrase start) in |