X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fcheckpoint.h;h=62daeb95731cc8a843f1c922b1f4ad9da8fff465;hb=76263fb08dca40e3c50ec9403ff4ddd02c35bfe1;hp=b2c1de08e4aa93413bd5812744741549b92cb8af;hpb=f86755695e96958b1802fb9a3fe5ad16deb44b2c;p=IRC.git

diff --git a/Robust/src/Runtime/checkpoint.h b/Robust/src/Runtime/checkpoint.h
index b2c1de08..62daeb95 100644
--- a/Robust/src/Runtime/checkpoint.h
+++ b/Robust/src/Runtime/checkpoint.h
@@ -1,11 +1,11 @@
 #ifndef CHECKPOINT_H
 #define CHECKPOINT_H
-#include "SimpleHash.h"
+#include "chash.h"
 
-void ** makecheckpoint(int numparams, void ** pointerarray, struct RuntimeHash * forward, struct RuntimeHash * reverse);
+void ** makecheckpoint(int numparams, void ** pointerarray, struct ctable * forward, struct ctable * reverse);
 
-void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct RuntimeHash *forward, struct RuntimeHash * reverse);
+void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct ctable *forward, struct ctable * reverse);
 
 void * createcopy(void * orig);
-
+void freemalloc();
 #endif