From 9b08b4629cabe190ed8ad8742f0860bf4d9e8bc9 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Fri, 23 Sep 2022 22:24:57 -0700 Subject: [PATCH] feat: allow hyphens in AP names. --- mtl/parser.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"