Accidentally checked this file in...removing it now.

diff --git a/Repair/RepairCompiler/MCC/CRuntime/size.h b/Repair/RepairCompiler/MCC/CRuntime/size.h
deleted file mode 100755 (executable)
index b672d5d..0000000
--- a/Repair/RepairCompiler/MCC/CRuntime/size.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#include "specs/x86/cache_aux.h"
-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(struct foo_state *);