projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e5de3b1 d997064)
Merge pull request #62 from mdeters/bv-cleanup
authorMorgan Deters <mdeters@morgandeters.com>
Sat, 8 Nov 2014 15:52:22 +0000 (10:52 -0500)
committerMorgan Deters <mdeters@morgandeters.com>
Sat, 8 Nov 2014 15:52:22 +0000 (10:52 -0500)
Remove some unused variables.


Trivial merge