diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-10 15:53:51 +0100 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2014-11-10 15:53:51 +0100 |
commit | be316870ef337a435d65f46a26f40ef0eab97934 (patch) | |
tree | 24db24b777180ea71d0e9078b7bcf4eff05ae9dc /src/theory/term_registration_visitor.h | |
parent | 8a43f6c6aa01f9b27434caf1c5dd9ef6b2dcd963 (diff) |
Do not eliminate variables only occurring in patterns. Minor improvements to sort inference. Remove unused code.
Diffstat (limited to 'src/theory/term_registration_visitor.h')
0 files changed, 0 insertions, 0 deletions