unused variable

diff --git a/Robust/src/Runtime/DSTM/interface/trans.c b/Robust/src/Runtime/DSTM/interface/trans.c
index 087c208af5d25c1051b9ba4ddea222a6b4c88ac6..639ac7875060f9e55e5b78d2a9e03c2ddeb5493b 100644 (file)
--- a/Robust/src/Runtime/DSTM/interface/trans.c
+++ b/Robust/src/Runtime/DSTM/interface/trans.c
@@ -312,7 +312,7 @@ objheader_t *transRead(transrecord_t *record, unsigned int oid) {
   unsigned int machinenumber;
   objheader_t *tmp, *objheader;
   objheader_t *objcopy;
-  int size, found = 0;
+  int size;
   void *buf;
   
   if(oid == 0) {