changes to runtime/etc to build in repair checking code

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

diff --git a/Robust/src/Runtime/checkpoint.h b/Robust/src/Runtime/checkpoint.h
index 80006a6bb792a65212f8475f80068b7151aad5f4..b2c1de08e4aa93413bd5812744741549b92cb8af 100644 (file)
--- a/Robust/src/Runtime/checkpoint.h
+++ b/Robust/src/Runtime/checkpoint.h
@@ -2,9 +2,9 @@
 #define CHECKPOINT_H
 #include "SimpleHash.h"
 
-void ** makecheckpoint(int numparams, void ** pointerarray, struct SimpleHash * forward, struct SimpleHash * reverse);
+void ** makecheckpoint(int numparams, void ** pointerarray, struct RuntimeHash * forward, struct RuntimeHash * reverse);
 
-void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct SimpleHash *forward, struct SimpleHash * reverse);
+void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct RuntimeHash *forward, struct RuntimeHash * reverse);
 
 void * createcopy(void * orig);