From 19908abf4df0af574b44abcc5aedd02e789abe4a Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 19 Jun 2018 00:59:48 +0700 Subject: [PATCH] Add '%' back to the atom char set Signed-off-by: Rudi Grinberg --- src/usexp/lexer.mll | 2 +- src/usexp/usexp.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/usexp/lexer.mll b/src/usexp/lexer.mll index eab1eaf9..c53bab93 100644 --- a/src/usexp/lexer.mll +++ b/src/usexp/lexer.mll @@ -76,7 +76,7 @@ let comment = ';' [^ '\n' '\r']* let newline = '\r'? '\n' let blank = [' ' '\t' '\012'] let atom_char = - [^ '%' ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\000'-'\032' '\127'-'\255'] + [^ ';' '(' ')' '"' ' ' '\t' '\r' '\n' '\000'-'\032' '\127'-'\255'] let digit = ['0'-'9'] let hexdigit = ['0'-'9' 'a'-'f' 'A'-'F'] diff --git a/src/usexp/usexp.ml b/src/usexp/usexp.ml index 684b3751..48a3dd32 100644 --- a/src/usexp/usexp.ml +++ b/src/usexp/usexp.ml @@ -17,7 +17,7 @@ module Atom = struct let rec loop s i len = i = len || match String.unsafe_get s i with - | '%' | '"' | '(' | ')' | ';' | '\000'..'\032' | '\127'..'\255' -> false + | '"' | '(' | ')' | ';' | '\000'..'\032' | '\127'..'\255' -> false | _ -> loop s (i + 1) len in fun s ->