comparison README_GRAAL.txt @ 7575:e3e8090cb46a

remove unused allocations during (full) canonicalization
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 31 Jan 2013 16:12:41 +0100
parents 5d0bb7d52783
children 3a6a718af535
comparison
equal deleted inserted replaced
7574:3a8b3b03ffa0 7575:e3e8090cb46a