From 112e9726014ec3664a849c711b9d824642bf8d20 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Mon, 28 Jun 2010 17:55:41 +0000
Subject: [PATCH] changes.

---
 Robust/src/Main/Main.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 664c4202..6ef4a871 100644
--- 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) {
-- 
2.34.1