From: bdemsky <bdemsky>
Date: Thu, 6 May 2004 20:43:46 +0000 (+0000)
Subject: size.h is automatically generated
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=commitdiff_plain;h=6452358d35f539663913d830d13212d3a49ff4cf

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