diff options
| author | Tim King <taking@google.com> | 2016-11-07 10:24:11 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-11-07 10:24:11 -0800 |
| commit | e6364f7d8f368f9c03857fa433ea452b58e54514 (patch) | |
| tree | 2cb720cfc39679c7032a7b28db50c2baddadd82c /src/theory/bv/bitblaster_template.h | |
| parent | 7fa16f98bbc1cdfa450c55086dc093a9963b63d5 (diff) | |
Fixing a memory leak in the eager bitblaster.
Diffstat (limited to 'src/theory/bv/bitblaster_template.h')
| -rw-r--r-- | src/theory/bv/bitblaster_template.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/bv/bitblaster_template.h b/src/theory/bv/bitblaster_template.h index 929bccada..0a7d165a2 100644 --- a/src/theory/bv/bitblaster_template.h +++ b/src/theory/bv/bitblaster_template.h @@ -266,7 +266,8 @@ class EagerBitblaster : public TBitblaster<Node> { TNodeSet d_bbAtoms; TNodeSet d_variables; - MinisatEmptyNotify d_notify; + // This is either an MinisatEmptyNotify or NULL. + MinisatEmptyNotify* d_notify; Node getModelFromSatSolver(TNode a, bool fullModel); bool isSharedTerm(TNode node); |