| Index: src/lexer/lexer_py.re
|
| diff --git a/src/lexer/lexer_py.re b/src/lexer/lexer_py.re
|
| index e57f88b147a3b351fe39593c7e64ac40e3c9dfec..9644b4443a4f590a9684527b5f5fabf0d67fa364 100644
|
| --- a/src/lexer/lexer_py.re
|
| +++ b/src/lexer/lexer_py.re
|
| @@ -25,10 +25,10 @@
|
| # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
| # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
| -whitespace_char = [ \t\v\f\r:ws:\240];
|
| +whitespace_char = [ \t\v\f\r:whitespace:\240];
|
| whitespace = whitespace_char+;
|
| -identifier_start = [$_a-zA-Z:lit:];
|
| -identifier_char = [0-9:identifier_start:];
|
| +identifier_start = [$_a-zA-Z:letter:];
|
| +identifier_char = [0-9:identifier_part_not_letter::identifier_start:];
|
| line_terminator = [\n\r];
|
| digit = [0-9];
|
| hex_digit = [0-9a-fA-F];
|
|
|