diff options
Diffstat (limited to 'interface/input/parsers.py')
-rwxr-xr-x | interface/input/parsers.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/interface/input/parsers.py b/interface/input/parsers.py index f97dbf1..7dc7d82 100755 --- a/interface/input/parsers.py +++ b/interface/input/parsers.py @@ -1,3 +1,5 @@ +from blc2.constants import INFTY + def parse_interval(s): if not s: return None, s @@ -107,6 +109,8 @@ def parse_time(s): v, s, d = parse_num(s) if v is None: + if s[0].lower() == 'i': + return INFTY, s[1:], "infinity" return None, s, None if not s: |