diff options
author | lianah <lianahady@gmail.com> | 2013-04-18 19:03:32 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-04-18 19:03:32 -0400 |
commit | 8d56bb7184d573448fd16242afda2e4224e8641d (patch) | |
tree | 55915f37f8ebf1f12a4f2f1414945cdc8416cc84 /src/parser/smt1 | |
parent | 5fc42e5ad72d13bc84a9b07d447988494d3d3110 (diff) |
making sure sat context is zero when user context is popped to 0 in SmtEngine destructor
Diffstat (limited to 'src/parser/smt1')
0 files changed, 0 insertions, 0 deletions