| summaryrefslogtreecommitdiff |
diff options
| -rw-r--r-- | cfg-to-paths/src/Main.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/cfg-to-paths/src/Main.java b/cfg-to-paths/src/Main.java index 853983a..d5cc650 100644 --- a/cfg-to-paths/src/Main.java +++ b/cfg-to-paths/src/Main.java @@ -86,11 +86,6 @@ public class Main tuple_size = tuple.size(); - if (tuple_size == 1) - { - return; - } - id = (PARAMETERS.get_id_prefix() + path_counter); path_counter += 1; |


