From 8060106abaeca57d8286ffb3145612306bcd697b Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 16 Apr 2009 07:45:21 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Runtime/runtime.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 0d6c2c3f..a4acf054 100644
--- 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"
-- 
2.34.1