diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-28 01:57:20 -0600 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2013-01-28 01:57:20 -0600 |
commit | c5d1a5d8f898bf22c6bbc98f1d484b07706c035b (patch) | |
tree | 49b5cc92ea74d720178d60bab2837bf897559813 /test/regress/regress0/push-pop/units.cvc | |
parent | bcbf52ffbe0416ecf70bdb644017c338c0540793 (diff) |
made QuantifiersEngine::d_inst_match_trie and QuantifiersEngine::d_lemmas_produced user-level context dependent. this fixes bug 486
Diffstat (limited to 'test/regress/regress0/push-pop/units.cvc')
0 files changed, 0 insertions, 0 deletions