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

[IRC.git] / Robust / src / Runtime / checkpoint.h

diff --git a/Robust/src/Runtime/checkpoint.h b/Robust/src/Runtime/checkpoint.h
deleted file mode 100644 (file)
index 62daeb9..0000000
--- a/Robust/src/Runtime/checkpoint.h
+++ /dev/null
@@ -1,11 +0,0 @@
-#ifndef CHECKPOINT_H
-#define CHECKPOINT_H
-#include "chash.h"
-
-void ** makecheckpoint(int numparams, void ** pointerarray, struct ctable * forward, struct ctable * reverse);
-
-void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct ctable *forward, struct ctable * reverse);
-
-void * createcopy(void * orig);
-void freemalloc();
-#endif