projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be13964) | patch
Fix bug 567
authorKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 27 May 2014 00:22:55 +0000 (20:22 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Tue, 27 May 2014 00:22:55 +0000 (20:22 -0400)
commitd6267f3afa9b535a4a858011533382a518ee0e1a
treef9d78759c7afdb67eb033780e648de5323188504tree
parentbe13964fbff473449d0936c592c5a5cfb3748833commit | diff
Fix bug 567

This bug got introduced in 96eccb0d6134ccf4ead0134299b2e3750a890083.
The backing Node didn't always exist because of the changes.
src/theory/sets/theory_sets_private.h diff | blob | history