summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-19 16:11:14 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-07-19 16:11:14 +0200
commit313514ac06fc6959a684cd7265c5d146769ec934 (patch)
tree6ecbc593c6cd74d5fb246fa64ec46c27b51c6f58
parent3bb73bf4bd66582dd6ea4b32b3691bfa14ec5cca (diff)
I think I was a bit fast in my "a->b" commit.
-rw-r--r--cfg-to-paths/src/Main.java5
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;