feat: allow hyphens in AP names.

mvcisback · Sep 24, 2022 · 9b08b46 · 9b08b46
1 parent dcfff04
commit 9b08b46
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mtl/parser.py b/mtl/parser.py
@@ -44,7 +44,7 @@
 
 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"