diff options
| author | ppedrot | 2012-05-29 12:27:28 +0000 |
|---|---|---|
| committer | ppedrot | 2012-05-29 12:27:28 +0000 |
| commit | 301857d19ee24a184e6480af801c6ffb04f29a68 (patch) | |
| tree | 772078c92897b6be1729fe052a06a6d15d8c3a6a | |
| parent | 743bac5fd408f2174def78cfa787e79774deea2d (diff) | |
Fixed an error display bug in CoqIDE.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15396 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 dabfd763d3..c99dee7f1e 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 |