changes.

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 664c4202e68c6c5f13d465911a76064df1437185..6ef4a87190d981d867cd3dd8fdb68f6b82354633 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -506,7 +506,7 @@ public class Main {
       CallGraph        cg = new CallGraph(state);
       Liveness         l  = new Liveness();
       ArrayReferencees ar = new ArrayReferencees(state);
-      DisjointAnalysis da = new DisjointAnalysis(state, tu, cg, l, ar, null);
+      DisjointAnalysis da = new DisjointAnalysis(state, tu, cg, l, ar, null, null);
     }
 
     if (state.OOOJAVA) {