various bug fixes.

[IRC.git] / Robust / src / Runtime / DSTM / interface / mcpileq.h

diff --git a/Robust/src/Runtime/DSTM/interface/mcpileq.h b/Robust/src/Runtime/DSTM/interface/mcpileq.h
index 93e206301e7c3a9925628db8eb07e60fcc400117..8291c5919e56e3f9c9407cc31d9fcc0050efa3e6 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/mcpileq.h
+++ b/Robust/src/Runtime/DSTM/interface/mcpileq.h
@@ -30,7 +30,6 @@ typedef struct mcpileq {
 void mcpileqInit(void);
 void mcpileenqueue(prefetchpile_t *);
 prefetchpile_t *mcpiledequeue(void);
-void delnode();
 void mcpiledelete();
 void mcpiledisplay();
 void mcdealloc(prefetchpile_t *);