Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

[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 aeaf4c91e7aa49061a7446c072de327c2e6bd712..9419563054aa9b2595e0c8a48fdfb9f0ad83551e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
+++ b/Repair/RepairCompiler/MCC/IR/ConcreteInterferes.java
@@ -21,7 +21,7 @@ class ConcreteInterferes {
                        RuleConjunction rconj=drule.get(k);
                        for(int l=0;l<rconj.size();l++) {
                            DNFExpr dexpr=rconj.get(l);
-                           /* See if update interfers w/ dexpr */
+                           /* See if update interferes w/ dexpr */
                            
                            if (!dexpr.getExpr().usesDescriptor(updated_des))
                                continue; /* No use of the descriptor */