new version of experiments

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index bc1177cd0b153252228492139b03501a09b20926..9b34ddc7bba7b7a1f282d06c56c3b62559dff597 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -313,7 +313,7 @@ public class Main {
 
       } else if( option.equals("-disjoint-count-graph-elements") ) {
         state.DISJOINT_COUNT_GRAPH_ELEMENTS = true;
-
+        state.DISJOINT_COUNT_GRAPH_ELEMENTS_FILE = args[++i];
 
       } else if (option.equals("-optional"))
         state.OPTIONAL=true;