From 85fc04d20b11f37b455410f4356473570b216fa8 Mon Sep 17 00:00:00 2001
From: jimkapin <jimkapin@amazon.com>
Date: Tue, 17 Sep 2019 08:14:12 -0700
Subject: [PATCH] Fixed issue with underscore in signal names

---
 mtl/parser.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mtl/parser.py b/mtl/parser.py
index 29f0c97..c64714f 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-z_\\d]*"
 
 bot = "FALSE"
 top = "TRUE"