From 63c170304597ab983ee91f8df228525b63b048a7 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 19 Jun 2018 15:40:36 +0700 Subject: [PATCH] Simplify the dune atom char set Signed-off-by: Rudi Grinberg --- src/usexp/lexer.mll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/usexp/lexer.mll b/src/usexp/lexer.mll index 3df3e106..69912d31 100644 --- a/src/usexp/lexer.mll +++ b/src/usexp/lexer.mll @@ -81,7 +81,7 @@ let hexdigit = ['0'-'9' 'a'-'f' 'A'-'F'] let atom_char_jbuild = [^ ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\012'] let atom_char_dune = - [^ ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\000'-'\032' '\127'-'\255'] + [^ ';' '(' ')' '"' '\000'-'\032' '\127'-'\255'] (* rule for jbuild files *) rule jbuild_token = parse