projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37304c7) | patch
fix node manager code (bugzilla #15, comment #2) in case where there's a hash collisi...
authorMorgan Deters <mdeters@gmail.com>
Mon, 1 Feb 2010 17:28:15 +0000 (17:28 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 1 Feb 2010 17:28:15 +0000 (17:28 +0000)
commit1b1e9acfad453c50151f6c6465e5eabbac075f19
tree516665e74a9b26a6b2e4c997a86f393e955614b4tree
parent37304c767826ac212a9cc954538a71f5480449cacommit | diff
fix node manager code (bugzilla #15, comment #2) in case where there's a hash collision for distinct objects
src/expr/node_manager.cpp diff | blob | history