fixed a bug where retrieving the context contribution of a call site returns an empty...

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

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 08e19581e5bc40c6abf68311ed8334bbacee0d2c..ca305d16e273e736db60e04bbafb6be5b863bced 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -185,6 +185,9 @@ public class Main {
           throw new Error("disjoint-write-dots requires argument <all/final>");
         }
 
+      } else if (option.equals("-disjoint-write-initial-contexts")) {
+       state.DISJOINTWRITEINITCONTEXTS = true;
+
       } else if (option.equals("-disjoint-write-ihms")) {
        state.DISJOINTWRITEIHMS = true;