diff agent/make/saenv64.sh @ 5424:068cc464e0cf

add snapshot() call in MergeNode.removeEnd to fix concurrent modification problem
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 22 May 2012 14:57:01 +0200
parents f6f3bb0ee072
children 4fe850c65ed1
line wrap: on
line diff