Segfault fix in prefetch queue + additional macros for debugging

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

diff --git a/Robust/src/Runtime/DSTM/interface/queue.h b/Robust/src/Runtime/DSTM/interface/queue.h
index d8a751fdaca5dd9db5082053c2090e1fa7058d12..fffeed15b44091cc6c5f56a425b51218a543949a 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/queue.h
+++ b/Robust/src/Runtime/DSTM/interface/queue.h
@@ -5,6 +5,7 @@
 #include<stdlib.h>
 #include<pthread.h>
 #include<string.h>
+#include "dstm.h"
 
 void queueInit(void);
 void * getmemory(int size);