diff options
| author | Pierre-Marie Pédrot | 2015-09-10 10:54:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-10 10:54:41 +0200 |
| commit | 3140d22d75ac3f30e97c799a05819b8838d167ca (patch) | |
| tree | ceffd9cac580f3790eef56017cb2421e435d7b2f /lib | |
| parent | 77101ea44d88983ec399c8662b81f9392d92110b (diff) | |
Fixing previous patch.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/xml_lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/xml_lexer.mll b/lib/xml_lexer.mll index 0b541ee047..290f2c89ab 100644 --- a/lib/xml_lexer.mll +++ b/lib/xml_lexer.mll @@ -89,7 +89,7 @@ let newline = ['\n'] let break = ['\r'] let space = [' ' '\t'] let identchar = ['A'-'Z' 'a'-'z' '_' '0'-'9' ':' '-' '.'] -let ident = ['A'-'Z' 'a'-'z' '_' ':'] identchar+ +let ident = ['A'-'Z' 'a'-'z' '_' ':'] identchar* let entitychar = ['A'-'Z' 'a'-'z'] let pcchar = [^ '\r' '\n' '<' '>' '&'] |