start of new file

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

diff --git a/Robust/src/Runtime/checkpoint.h b/Robust/src/Runtime/checkpoint.h
index b2c1de08e4aa93413bd5812744741549b92cb8af..9f600953500cfa39332715e0112031875266b118 100644 (file)
--- a/Robust/src/Runtime/checkpoint.h
+++ b/Robust/src/Runtime/checkpoint.h
@@ -7,5 +7,5 @@ void ** makecheckpoint(int numparams, void ** pointerarray, struct RuntimeHash *
 void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct RuntimeHash *forward, struct RuntimeHash * reverse);
 
 void * createcopy(void * orig);
-
+void freemalloc();
 #endif