bug fixes for udp broadcast

[IRC.git] / Robust / src / Runtime / runtime.c

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 197b9fb2a71ca3de37428061d4eba98e83445bbf..03ee0bcfad9fbd1ae386330b669be40dd3d680c7 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -4,11 +4,11 @@
 #include "mem.h"
 #include<fcntl.h>
 #include<errno.h>
-#include<signal.h>
 #include<stdio.h>
 #include "option.h"
 #ifdef DSTM
 #include "dstm.h"
+#include "prelookup.h"
 #endif
 
 extern int classsize[];
@@ -97,6 +97,12 @@ void CALL01(___System______printString____L___String___,struct ___String___ * __
     }
 }
 
+#ifdef DSTM
+void CALL00(___System______clearPrefetchCache____) {
+  prehashClear();
+}
+#endif
+
 /* Object allocation function */
 
 #ifdef DSTM