From b9e20bbfd6e034f644331b452f67616526fc359f Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 23 Oct 2014 16:50:25 +0200
Subject: fix parsing of ---- +++++ ***** in CoqIDE

---
 ide/sentence.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/sentence.ml b/ide/sentence.ml
index 557a86b2bc..56d5f1cd51 100644
--- a/ide/sentence.ml
+++ b/ide/sentence.ml
@@ -91,7 +91,7 @@ let tag_on_insert buffer =
     (** The status of "{" "}" as sentence delimiters is too fragile.
         We retag up to the next "." instead. *)
     let stop = grab_ending_dot insert in
-    try split_slice_lax buffer start stop
+    try split_slice_lax buffer start#backward_char stop
     with Coq_lex.Unterminated ->
       (* This shouldn't happen frequently. Either:
          - we are at eof, with indeed an unfinished sentence.
-- 
cgit v1.2.3