Specify default hash function of `dstringt` to STL.#2082

Merged

kroening merged 1 commit intodiffblue:developfrom

thomasspriggs:default_dstring_hash

Apr 18, 2018

Commits on Apr 17, 2018

Specify default hash function of `dstringt` to STL.
thomasspriggs
committed