diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-11 13:00:36 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-11 13:00:36 -0400 |
commit | 0189f4b0e62edefa2b93f9bd4991a0c15c6cc3d5 (patch) | |
tree | bfc3068f94b08816167ee396e77c3369ddc8953d /src/smt/simplification_mode.h | |
parent | 5527b0c00639f24b11d5e1d4c69050d908b82400 (diff) |
Some defensive programming at destruction time, and fix a latent dangling pointer bug.
Diffstat (limited to 'src/smt/simplification_mode.h')
0 files changed, 0 insertions, 0 deletions