More changes

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

diff --git a/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java b/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
index d7280628880401f4f6e79af24470f8de55bc9c47..e6718a69eefbf4f6b975b9cd1780709ff38a9328 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
+++ b/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
@@ -6,12 +6,13 @@ class ConcreteInterferes {
            UpdateNode un=mun.getUpdate(i);
            for (int j=0;j<un.numUpdates();j++) {
                Updates update=un.getUpdate(j);
-               Descriptor des=update.getDescriptor();
                DNFRule drule=r.getDNFGuardExpr();
                for(int k=0;k<drule.size();k++) {
                    RuleConjunction rconj=drule.get(k);
                    for(int l=0;l<rconj.size();l++) {
                        DNFExpr dexpr=rconj.get(l);
+                       /* See if update interfers w/ dexpr */
+                       Descriptor updatedes=update.getDescriptor();
                        
                    }
                }
@@ -19,6 +20,4 @@ class ConcreteInterferes {
        }
        return false;
     }
-
-
 }