CVC4/CVC4 — pull request #68 by mdeters (2014-11-13 02:51:47+00:00)
Title: Fix CDHashMap<>::insert() so that it does not require default constructi...

...bility.