Adds missing predicate from g4 to instr scripts

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()
                )
             )
          );