From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 11 Nov 2014 19:01:47 +0000 (-0500)
Subject: Merge pull request #64 from mdeters/theorysets-hashset-iteration
X-Git-Tag: cvc5-1.0.0~6504
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3ec10d72269c11a0c20fe5e966cf6f207d0be635;p=cvc5.git

Merge pull request #64 from mdeters/theorysets-hashset-iteration

Update TheorySets to use CDHashSet<>::key_begin() / key_end().
---

3ec10d72269c11a0c20fe5e966cf6f207d0be635