size.h is automatically generated

diff --git a/Repair/RepairCompiler/MCC/Runtime/size.h b/Repair/RepairCompiler/MCC/Runtime/size.h
deleted file mode 100755 (executable)
index 89f9dc6..0000000
--- a/Repair/RepairCompiler/MCC/Runtime/size.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#include "test3_aux.h"
-class typeobject {
-public:
-typeobject();
-int getfield(int type, int fieldindex);
-int isArray(int type, int fieldindex);
-int isPtr(int type, int fieldindex);
-int numElements(int type, int fieldindex);
-int size(int type);
-int sizeBytes(int type);
-int getnumfields(int type);
-bool issubtype(int subtype, int type);
-void computesizes(foo_state *);
-};