summaryrefslogtreecommitdiff
path: root/interface/input/parsers.py
diff options
context:
space:
mode:
Diffstat (limited to 'interface/input/parsers.py')
-rwxr-xr-xinterface/input/parsers.py4
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: