diff --git a/mtl/parser.py b/mtl/parser.py index 93f0003..9c8d3cb 100644 --- a/mtl/parser.py +++ b/mtl/parser.py @@ -44,7 +44,7 @@ interval = "[" __ const_or_unbound __ "," __ const_or_unbound __ "]" const_or_unbound = const / "inf" / id -AP = ~r"[a-z_][a-zA-Z_\\d]*" +AP = ~r"[a-z_][a-zA-Z_\\d-]*" bot = "FALSE" top = "TRUE"