X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fcheckpoint.h;fp=Robust%2Fsrc%2FRuntime%2Fcheckpoint.h;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=9f600953500cfa39332715e0112031875266b118;hpb=ac6191b514c0e54b468623bf868134e1ce809df5;p=IRC.git

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