Quantifiers use relations!!!

[repair.git] / Repair / RepairCompiler / MCC / Makefile

diff --git a/Repair/RepairCompiler/MCC/Makefile b/Repair/RepairCompiler/MCC/Makefile
index 163f90c7d39e402fbba47a660569bf3cdca22cd3..b8aef1f5781321bc46f6f324621732ae9dd60efc 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Makefile
+++ b/Repair/RepairCompiler/MCC/Makefile
@@ -43,7 +43,7 @@ IR/RelationInclusion.class IR/SetInclusion.class IR/TupleOfExpr.class \
 IR/ElementOfExpr.class IR/Rule.class IR/Inclusion.class                        \
 IR/CodeWriter.class IR/SymbolTableStack.class  \
 IR/StandardCodeWriter.class IR/SumExpr.class           \
-IR/WorkList.class              \
+IR/WorkList.class IR/PrintWrapper.class                \
 IR/RepairGenerator.class IR/AbstractInterferes.class                   \
 IR/PrettyPrinter.class IR/AbstractRepair.class IR/Quantifiers.class    \
 IR/Binding.class IR/ConcreteInterferes.class IR/Conjunction.class      \