X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FSemanticChecker.java;h=f450bb79db62fa13078ff4d967ef34a09633f110;hp=af4aa96f735965afc163e8f8476aea5e86be3ff8;hb=3e4091248270631ee6dab18b323d0c441a4e4ae1;hpb=494b62b8ddfc3c3a7282aab4ad96d0e10fb1d1bc

diff --git a/Repair/RepairCompiler/MCC/IR/SemanticChecker.java b/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
index af4aa96..f450bb7 100755
--- a/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
+++ b/Repair/RepairCompiler/MCC/IR/SemanticChecker.java
@@ -527,6 +527,7 @@ public class SemanticChecker {
                 return null;
             }
 
+            rd.addUsage(RelationDescriptor.IMAGE);
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
 	    vd1.setSet(rd.getDomain());