From 7e24107c80a570df3958fbce87b4ce1337bcb4ab Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 30 May 2018 21:31:30 +0200
Subject: Might fix the missing 'is_in_path' issues.

---
 src/hastabel/GraphToFirstOrder.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/hastabel/GraphToFirstOrder.java b/src/hastabel/GraphToFirstOrder.java
index a2db1b9..c4bbfa8 100644
--- a/src/hastabel/GraphToFirstOrder.java
+++ b/src/hastabel/GraphToFirstOrder.java
@@ -99,7 +99,7 @@ public class GraphToFirstOrder
       final Predicate is_before
    )
    {
-      for (final Node initial_node: INITIAL_NODES)
+      for (final Node initial_node: NODE_FROM_ELEMENT.values())
       {
          for (final Path path: get_all_paths_from(initial_node))
          {
@@ -117,7 +117,7 @@ public class GraphToFirstOrder
 
                n_i = path.nodes.get(i).get_element();
 
-               contains_node.add_member_( path_e, n_i);
+               contains_node.add_member_(path_e, n_i);
 
                for (int j = 0; j < i; j++)
                {
-- 
cgit v1.2.3-70-g09d2