From f4804a36cb34f6d41b5747f63ffb070c9bd47be9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 9 Oct 2009 07:34:36 +0000
Subject: [PATCH] sandbox

---
 Robust/src/Runtime/STM/sandbox.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/STM/sandbox.c b/Robust/src/Runtime/STM/sandbox.c
index bf7504f7..e02ecad6 100644
--- a/Robust/src/Runtime/STM/sandbox.c
+++ b/Robust/src/Runtime/STM/sandbox.c
@@ -1,5 +1,7 @@
 #include "sandbox.h"
-
+#include "tm.h"
+#include <stdio.h>
+#define likely(x) x
 __thread int transaction_check_counter;
 __thread jmp_buf aborttrans;
 __thread int abortenabled;
-- 
2.34.1