Added Strongly Connected Component support into GraphNodes.

[repair.git] / Repair / RepairCompiler / MCC / IR / Termination.java

diff --git a/Repair/RepairCompiler/MCC/IR/Termination.java b/Repair/RepairCompiler/MCC/IR/Termination.java
index 48212d17b088a9938f4e1d850b5781939aaecad3..e8f5d74d8789d7ed31f268499395de5e88e07bd1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Termination.java
+++ b/Repair/RepairCompiler/MCC/IR/Termination.java
@@ -512,8 +512,11 @@ public class Termination {
        }
        return true;
     }
+    /** This method generates data structure updates to implement the
+     *         abstract atomic modification specified by ar. */
 
     void generatemodifyrelation(GraphNode gn, AbstractRepair ar) {
+       
     }