model and checks

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

diff --git a/Repair/RepairCompiler/MCC/IR/DependencyBuilder.java b/Repair/RepairCompiler/MCC/IR/DependencyBuilder.java
index 975ea606a17d0a58b2f09d4a57362e00727deb8d..3c26256491e48c9cecfb131378af4e749c5e16ae 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/DependencyBuilder.java
+++ b/Repair/RepairCompiler/MCC/IR/DependencyBuilder.java
@@ -57,6 +57,7 @@ public class DependencyBuilder {
             Rule rule = (Rule) rules.elementAt(i);
             GraphNode rulenode = (GraphNode) rulenodes.get(rule.getLabel());
             Set requiredsymbols = rule.getRequiredDescriptors();
+            requiredsymbols.addAll(rule.getInclusion().getRequiredDescriptors());
 
             for (int j = 0; j < rules.size(); j++) {