projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 52514ca fc0e2ab)
Merge pull request #69 from mdeters/bug594
authorMorgan Deters <mdeters@morgandeters.com>
Thu, 13 Nov 2014 18:35:46 +0000 (13:35 -0500)
committerMorgan Deters <mdeters@morgandeters.com>
Thu, 13 Nov 2014 18:35:46 +0000 (13:35 -0500)
Fix memory leak in CDHashMap<> with Node keys (resolves bug 594).


Trivial merge