| summaryrefslogtreecommitdiff |
path: root/instr-to-kodkod
diff options
Diffstat (limited to 'instr-to-kodkod')
| -rw-r--r-- | instr-to-kodkod/parser/PropertyParser.g4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4 index e6cd164..021f02c 100644 --- a/instr-to-kodkod/parser/PropertyParser.g4 +++ b/instr-to-kodkod/parser/PropertyParser.g4 @@ -340,8 +340,8 @@ regex_special_predicate [Variable current_node] ( Main.get_model().get_predicate_as_relation ( - "is_start_node" - ).transpose() + "string_matches" + ) ); } catch (final Exception e) |