make runtime 64 bit clean again
authorbdemsky <bdemsky>
Sat, 27 Jun 2009 23:31:44 +0000 (23:31 +0000)
committerbdemsky <bdemsky>
Sat, 27 Jun 2009 23:31:44 +0000 (23:31 +0000)
commit6b6d29c0825355275db93c12a0759e451b41bc4a
tree0b3a3604d116badeebd1019423809b1c74862ca4
parentd39660f8051a6e3ec1c00d95558fbee30bac917b
make runtime 64 bit clean again
Robust/src/Runtime/STM/delaycomp.h
Robust/src/Runtime/STM/stm.c
Robust/src/Runtime/thread.c