diff --git a/frontends/LexOccam.x b/frontends/LexOccam.x index 5c2a74d..9b0aa48 100644 --- a/frontends/LexOccam.x +++ b/frontends/LexOccam.x @@ -74,7 +74,7 @@ $vertSpace = [\r\n] | "VECSPACE" | ".STATIC" | ".VSPTR" | ".WSSIZE" -@identifier = [a-z A-Z] [a-z A-Z 0-9 \.]* +@identifier = [a-z A-Z] [a-z A-Z 0-9 \._]* @hexEscape = \# $hexDigit $hexDigit @escape = \* ( @hexEscape | [^\#\n] )