| summaryrefslogtreecommitdiff |
path: root/cfg-to-paths
diff options
Diffstat (limited to 'cfg-to-paths')
| -rw-r--r-- | cfg-to-paths/src/Main.java | 2 |
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"); |