projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b7ae36d 20a0d70)
Merge pull request #64 from mdeters/theorysets-hashset-iteration
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 11 Nov 2014 19:01:47 +0000 (14:01 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 11 Nov 2014 19:01:47 +0000 (14:01 -0500)
Update TheorySets to use CDHashSet<>::key_begin() / key_end().


Trivial merge