diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-07-20 21:52:53 +0200 |
|---|---|---|
| committer | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-07-20 21:53:11 +0200 |
| commit | 214146c570335b6e13ef2efe483ed4ab1d4ec687 (patch) | |
| tree | 5d5a339c8895ac5a437d98284b1c632421bdd50b /tools | |
| parent | 68be98d45535938dfae769ffed002d19fb30b7b7 (diff) | |
| download | ocaml-214146c570335b6e13ef2efe483ed4ab1d4ec687.tar.gz | |
Adapt caml-tex
Diffstat (limited to 'tools')
| -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 |