trapmap: delete entry after information is consumed
authorBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 20:10:36 +0000 (22:10 +0200)
committerBernhard Urban <lewurm@gmail.com>
Sun, 20 May 2012 20:10:36 +0000 (22:10 +0200)
commitb12b3f367d913549cd51cc4eb66e54f4e3d37d50
treef8da5ad447318444e5a84499587e924d21ae7806
parent6582761a2d241577625dce725ae8dde680d393dd
trapmap: delete entry after information is consumed
Mate/ClassPool.hs
Mate/MethodPool.hs