From 38ffe7a03522e9667ea60cc88cb49c308602102e Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Tue, 13 Apr 2010 01:56:34 +0000
Subject: [PATCH] small change

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

diff --git a/Robust/src/Runtime/runtime.c b/Robust/src/Runtime/runtime.c
index 8d1016c0..61d18e1f 100644
--- a/Robust/src/Runtime/runtime.c
+++ b/Robust/src/Runtime/runtime.c
@@ -10,7 +10,7 @@
 #ifdef DSTM
 #ifdef RECOVERY
 #include "DSTM/interface_recovery/dstm.h"
-#include "DSTM/interface_recovery/prelookup.h"
+#include "DSTM/interface_recovery/altprelookup.h"
 
 #ifdef RECOVERYSTATS
   extern int numRecovery;
@@ -412,7 +412,6 @@ void CALL01(___Task______execution____,struct ___Task___ * ___this___)
 
 #ifdef PRECISE_GC
   int p[] = {1,0 , oid};
-   
   ((void(*) (void *))virtualtable[type*MAXCOUNT + EXECUTEMETHOD])(p);
 #else
   // call the proper execute method
-- 
2.34.1