Solves previous problem by changing path def.

Instead of the path "n1 -> n2 -> n3" being "n2 -> n3" a path starting
from n1, it's now "n1 -> n2 -> n3" (still starting from n1).

1 files changed, 1 insertions, 1 deletions

diff --git a/cfg-to-paths/src/Main.java b/cfg-to-paths/src/Main.java
index 481d53f..853983a 100644
--- a/cfg-to-paths/src/Main.java
+++ b/cfg-to-paths/src/Main.java
@@ -97,7 +97,7 @@ public class Main
       out.write("(add_element path " + id + ")\n");
       out.write("(is_path_of " + id + " " + tuple.get(0) + ")\n");
 
-      for (int i = 1; i < tuple_size; ++i)
+      for (int i = 0; i < tuple_size; ++i)
       {
          out.write("(contains_node " + id + " " + tuple.get(i) + ")\n");