From 03d17ca51ff63d31f20b23a1b3864aa42e97859a Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 19 Sep 2022 22:01:25 -0700 Subject: [PATCH] Allow capital letters after first letter. --- mtl/parser.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mtl/parser.py b/mtl/parser.py index c64714f..93f0003 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-z_\\d]*" +AP = ~r"[a-z_][a-zA-Z_\\d]*" bot = "FALSE" top = "TRUE"