bug fix

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 0d6c2c3f3b1736f3299ec47a94a813c84db94574..a4acf054deb62d934e10f0431785c5a08b79642a 100644 (file)
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -6,6 +6,7 @@
 #include <errno.h>
 #include <stdio.h>
 #include "option.h"
+#include "methodheaders.h"
 #ifdef DSTM
 #include "dstm.h"
 #include "prelookup.h"