diff options
| -rw-r--r-- | ide/coqide.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 2f53fa8ff3..111a8ffc25 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -893,7 +893,9 @@ object(self) try let start = grab_sentence_start start self#get_start_of_input in let stop = grab_sentence_stop start in - if is_sentence_end stop#backward_char then Some (start,stop) + (* Is this phrase non-empty and complete ? *) + if stop#compare start > 0 && is_sentence_end stop#backward_char + then Some (start,stop) else None with Not_found -> None |