Allow capital letters after first letter.

mvcisback · Sep 20, 2022 · 03d17ca · 03d17ca
1 parent 7892da8
commit 03d17ca
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-z_\\d]*"
+AP = ~r"[a-z_][a-zA-Z_\\d]*"
 
 bot = "FALSE"
 top = "TRUE"