hacks to speed up prefetching...doesn't really help though..

[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 5c4046c970bbef3ae302358a409b1b46fc9d4a24..f32c7b69232995d6f988cbb928c8812636438be8 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/mcpileq.h
+++ b/Robust/src/Runtime/DSTM/interface/mcpileq.h
@@ -31,7 +31,6 @@ typedef struct mcpileq {
 void mcpileqInit(void);
 void mcpileenqueue(prefetchpile_t *, prefetchpile_t *);
 prefetchpile_t *mcpiledequeue(void);
-void mcpiledelete();
 void mcpiledisplay();
 void mcdealloc(prefetchpile_t *);