From: bdemsky <bdemsky>
Date: Sat, 30 Oct 2004 23:04:31 +0000 (+0000)
Subject: Accidentally checked this file in...removing it now.
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=6b4e661ac124c90449eb81b34b444fad9dd3fb26

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
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 *);