This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Runtime / DSTM / interface / dstm.c

diff --git a/Robust/src/Runtime/DSTM/interface/dstm.c b/Robust/src/Runtime/DSTM/interface/dstm.c
deleted file mode 100644 (file)
index 62f6955..0000000
--- a/Robust/src/Runtime/DSTM/interface/dstm.c
+++ /dev/null
@@ -1,19 +0,0 @@
-#include "dstm.h"
-
-extern int classsize[];
-
-/* BEGIN object header */
-
-// Get a new object id
-unsigned int getNewOID(void) {
-       static int id = 1;
-       return id++;
-}
-
-// Get the size of the object for a given type
-unsigned int objSize(objheader_t *object) {
-       return classsize[object->type];
-}
-
-/* END object header */
-