projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b825605 4746a04)
Merge pull request #46 from mdeters/bug573
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 26 Jun 2014 19:46:26 +0000 (15:46 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 26 Jun 2014 19:46:26 +0000 (15:46 -0400)
Potential fix for bug 573.


Trivial merge