diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/graph/DataflowSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/graph/DataflowSolver.java index 2c9c3de68..030354084 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/graph/DataflowSolver.java +++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/graph/DataflowSolver.java @@ -302,9 +302,6 @@ public abstract class DataflowSolver extends DefaultFixedPointSolver { } } - /** - * @param G - */ private void shortCircuitUnaryMeets(Graph G, ITransferFunctionProvider functions, UnionFind uf) { for (Iterator it = G.iterator(); it.hasNext();) { T node = it.next(); @@ -317,9 +314,7 @@ public abstract class DataflowSolver extends DefaultFixedPointSolver { } } - /** - * @return Returns the problem. - */ + public IKilldallFramework getProblem() { return problem; }