(1) make type of memPool more precise...
authorbdemsky <bdemsky>
Tue, 9 Nov 2010 03:59:35 +0000 (03:59 +0000)
committerbdemsky <bdemsky>
Tue, 9 Nov 2010 03:59:35 +0000 (03:59 +0000)
commit2494c2dbb3c907c000fbd23c5325ad8813261156
tree90ae54b3dbd8fcd85a457ff951b6917429f72761
parentd081477e49ac2d12f1e39fe13c18aea76740b0fc
(1) make type of memPool more precise...
(2) bug fix in BuildCode
Robust/src/IR/Flat/BuildCode.java
Robust/src/Runtime/memPool.h