aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/sentence.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ide/sentence.ml')
-rw-r--r--ide/sentence.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/sentence.ml b/ide/sentence.ml
index 7b98d5296..7706c8d34 100644
--- a/ide/sentence.ml
+++ b/ide/sentence.ml
@@ -35,7 +35,7 @@ let rec backward_search cond (iter:GText.iter) =
else backward_search cond iter#backward_char
let is_sentence_end s =
- s#has_tag Tags.Script.sentence || s#has_tag Tags.Script.comment_sentence
+ s#has_tag Tags.Script.sentence
let is_char s c = s#char = Char.code c