diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coq_tex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coq_tex.ml b/tools/coq_tex.ml index 7f2fe741e9..fc652f584c 100644 --- a/tools/coq_tex.ml +++ b/tools/coq_tex.ml @@ -68,7 +68,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]*\\((\\*.*\\*)\\)?[ \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 |