From 6e14d0eb018da145816be319813fb5e6a4d37a02 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 21 Mar 2011 07:44:46 +0000
Subject: [PATCH] don't need to do pointer analysis in Main

---
 Robust/src/Main/Main.java | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index f8570bee..f0f7ab1d 100644
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -454,11 +454,6 @@ public class Main {
 	}
       }
     }
-    if (state.POINTER) {
-      Pointer pointgraph=new Pointer(state, tu);
-      pointgraph.doAnalysis();
-    }
-
 
     if (state.OPTIMIZE) {
       CallGraph callgraph=new CallGraph(state);
-- 
2.34.1