| summaryrefslogtreecommitdiff |
path: root/instr-to-kodkod
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 18:06:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-18 18:06:10 +0200 |
| commit | 1cac6685e5dc334473c304194d5f816b6ecf3469 (patch) | |
| tree | 337af5ffb3e3ae89494d722e8867ac57588e603c /instr-to-kodkod | |
| parent | 9ab261cc3e22683fcb7ba0ac42b8cd0b916002bd (diff) | |
Adds missing predicate from g4 to instr scripts
Diffstat (limited to 'instr-to-kodkod')
| -rw-r--r-- | instr-to-kodkod/parser/PropertyParser.g4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4 index 8d1fe21..63939d7 100644 --- a/instr-to-kodkod/parser/PropertyParser.g4 +++ b/instr-to-kodkod/parser/PropertyParser.g4 @@ -238,7 +238,7 @@ sl_ctl_verifies_operator ( Main.get_variable_manager().get_variable(($ps.text)).join ( - Main.get_model().get_predicate_as_relation("start_node") + Main.get_model().get_predicate_as_relation("is_start_node").transpose() ) ) ); |