changes

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ec83d412eb63f69cd3a998b6d0c73082a9f532dd..e665e4f8d364a113ecf8570928fc9fbf7da108b7 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -50,7 +50,7 @@ import Analysis.OoOJava.OoOJavaAnalysis;
 import Analysis.Loops.*;
 import Analysis.Liveness;
 import Analysis.ArrayReferencees;
-//import Analysis.Pointer.Pointer;
+import Analysis.Pointer.Pointer;
 import IR.MethodDescriptor;
 import IR.Flat.FlatMethod;
 import Interface.*;
@@ -452,8 +452,8 @@ public class Main {
       }
     }
     if (state.POINTER) {
-      //      Pointer pointgraph=new Pointer(state, tu);
-      //pointgraph.doAnalysis();
+      Pointer pointgraph=new Pointer(state, tu);
+      pointgraph.doAnalysis();
     }