1 files changed, 6 insertions, 1 deletions
diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4
index 3e5634f..e6cd164 100644
--- a/instr-to-kodkod/parser/PropertyParser.g4
+++ b/instr-to-kodkod/parser/PropertyParser.g4
@@ -323,7 +323,7 @@ regex_special_predicate [Variable current_node]
 
    (WS)* REGEX_SPECIAL_PREDICATE_KW
       id_or_string_or_fun[current_node]
-      STRING
+   (WS)+ STRING
    (WS)* R_PAREN
 
    {
@@ -1303,6 +1303,11 @@ formula [Variable current_node]
       $result = ($predicate.result);
    }
 
+   | regex_special_predicate[current_node]
+   {
+      $result = ($regex_special_predicate.result);
+   }
+
    | and_operator[current_node]
    {
       $result = ($and_operator.result);