diff options
Diffstat (limited to 'extras/ocaml.py')
| -rw-r--r-- | extras/ocaml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/ocaml.py b/extras/ocaml.py index afe73c0c..7d785c6f 100644 --- a/extras/ocaml.py +++ b/extras/ocaml.py @@ -15,7 +15,7 @@ EXT_MLI = ['.mli'] EXT_MLC = ['.c'] EXT_ML = ['.ml'] -open_re = re.compile('^\s*open\s+([a-zA-Z]+)(;;){0,1}$', re.M) +open_re = re.compile(r'^\s*open\s+([a-zA-Z]+)(;;){0,1}$', re.M) foo = re.compile(r"""(\(\*)|(\*\))|("(\\.|[^"\\])*"|'(\\.|[^'\\])*'|.[^()*"'\\]*)""", re.M) def filter_comments(txt): meh = [0] |