diff options
author | Tim King <taking@cs.nyu.edu> | 2017-11-15 09:40:20 -0800 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-11-15 11:40:20 -0600 |
commit | eddabf66104dcc061943655e530d8d8b8d8a7041 (patch) | |
tree | dc56df6a02767cf014690d0fecdd8eaab1ed84f9 /test/regress/regress0/quantifiers | |
parent | 35b57e733af6e1588cd3b8625db932fb1d66a9a2 (diff) |
Removes an unused variable from Theory. (#1375)
Diffstat (limited to 'test/regress/regress0/quantifiers')
0 files changed, 0 insertions, 0 deletions