Quantifiers use relations!!!
[repair.git] / Repair / RepairCompiler / MCC / IR / SemanticChecker.java
index af4aa96..f450bb7 100755 (executable)
@@ -527,6 +527,7 @@ public class SemanticChecker {
                 return null;
             }
 
                 return null;
             }
 
+            rd.addUsage(RelationDescriptor.IMAGE);
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
            vd1.setSet(rd.getDomain());
             rq.setRelation(rd);
             vd1.setType(rd.getDomain().getType());
            vd1.setSet(rd.getDomain());