Don't treat wide numbers as numbers

2024-02-19 19:13:45 +01:00 · 2024-02-19 19:13:45 +01:00 · c5511c7c0c
parent 13f21c6d11
commit c5511c7c0c
1 changed files with 1 additions and 1 deletions
--- a/src/orig.py
+++ b/src/orig.py
@ -90,7 +90,7 @@ def get_symbols(line: str) -> (str, list[str]):
            x = i
            i += 2
            while i < len(line):
-                if line[i].isdigit():
+                if line[i] >= '0' and line[i] <= '9':
                    i += 1
                    continue