diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-23 21:30:27 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-23 21:30:27 +0000 |
commit | 876993722316c92f6d24525e22c89c215ac90521 (patch) | |
tree | e635a9f8c1d7510251c1a76154add82e77c0c61d /src/theory/arrays | |
parent | e11bce2790fa9e517e08ae5d3c477da651db3630 (diff) |
Documented that ContextObj::destroy() only restores back to context level 0.
If there is more cleanup to do, it has to be done by the destructor.
Diffstat (limited to 'src/theory/arrays')
0 files changed, 0 insertions, 0 deletions