diff options
| -rw-r--r-- | tools/coq-tex.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq-tex.ml4 b/tools/coq-tex.ml4 index 541777d6e4..adc53890dc 100644 --- a/tools/coq-tex.ml4 +++ b/tools/coq-tex.ml4 @@ -76,7 +76,7 @@ let begin_coq_example = let begin_coq_eval = Str.regexp "\\\\begin{coq_eval}[ \t]*$" let end_coq_example = Str.regexp "\\\\end{coq_\(example\|example\*\|example\#\)}[ \t]*$" let end_coq_eval = Str.regexp "\\\\end{coq_eval}[ \t]*$" -let dot_end_line = Str.regexp "\\.[ \t]*$" +let dot_end_line = Str.regexp "\\.[ \t]*\((\*.*\*)\)?[ \t]*$" let has_match r s = try let _ = Str.search_forward r s 0 in true with Not_found -> false |