projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35b57e7) | patch
Removes an unused variable from Theory. (#1375)
authorTim King <taking@cs.nyu.edu>
Wed, 15 Nov 2017 17:40:20 +0000 (09:40 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 15 Nov 2017 17:40:20 +0000 (11:40 -0600)
commiteddabf66104dcc061943655e530d8d8b8d8a7041
treedc56df6a02767cf014690d0fecdd8eaab1ed84f9tree
parent35b57e733af6e1588cd3b8625db932fb1d66a9a2commit | diff
Removes an unused variable from Theory. (#1375)
src/theory/theory.h diff | blob | history