bug fix
authorbdemsky <bdemsky>
Tue, 22 Sep 2009 19:15:11 +0000 (19:15 +0000)
committerbdemsky <bdemsky>
Tue, 22 Sep 2009 19:15:11 +0000 (19:15 +0000)
commit09700dd8510a62b141e53df26b5b1c88f01dd1db
treea1751c2ab2d30d822efe15101ba18e34311e118e
parentf824a2b8f1b061e1252c4e9ee9c00f0e643e3048
bug fix
Robust/src/Runtime/DSTM/interface/dstmserver.c
Robust/src/Runtime/DSTM/interface/queue.c
Robust/src/Runtime/DSTM/interface/trans.c