model and checks

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

diff --git a/Repair/RepairCompiler/MCC/Makefile b/Repair/RepairCompiler/MCC/Makefile
index e63fc9fc29abc1f81dacd1740d577e517eec97e7..10cc8eb9e77907fe0b0ff333bd8720063890dd29 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Makefile
+++ b/Repair/RepairCompiler/MCC/Makefile
@@ -34,7 +34,8 @@ IR/ComparisonPredicate.class IR/Constraint.class IR/RelationExpr.class \
 IR/RelationQuantifier.class IR/ForQuantifier.class IR/GraphNode.class \
 IR/DependencyBuilder.class IR/RelationInclusion.class IR/SetInclusion.class \
 IR/TupleOfExpr.class IR/ElementOfExpr.class IR/Rule.class IR/Inclusion.class \
-IR/NaiveGenerator.class IR/CodeWriter.class IR/SymbolTableStack.class
+IR/NaiveGenerator.class IR/CodeWriter.class IR/SymbolTableStack.class \
+IR/SizeofPredicate.class
 
 #MODEL_CLASS = Field.class Literal.class Quantifier.class              \
 #Set.class TypeElement.class                                           \