diff options
Diffstat (limited to 'tools/caml_tex.ml')
-rw-r--r-- | tools/caml_tex.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/caml_tex.ml b/tools/caml_tex.ml index ae89477d9b..79fb3c28db 100644 --- a/tools/caml_tex.ml +++ b/tools/caml_tex.ml @@ -352,7 +352,7 @@ module Output = struct let catch_warning = function | [] -> None - | s :: _ when string_match ~!{|Warning \([0-9]+\):|} s 0 -> + | s :: _ when string_match ~!{|Warning \([0-9]+\)\( \[[a-z-]+\]\)?:|} s 0 -> Some (Warning (int_of_string @@ matched_group 1 s)) | _ -> None |