diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:20:17 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-13 18:20:17 -0500 |
| commit | 8088cf4f9c8fdd49e2f46656243efb6afce3cbc8 (patch) | |
| tree | ffb3f931013e01dee56c0b96e20fc64f86e3844f /src/proof/sat_proof.h | |
| parent | d5f1e40c1db973c9216a167b350a6dd5a4632761 (diff) | |
Add virtual destructors where missing
Diffstat (limited to 'src/proof/sat_proof.h')
| -rw-r--r-- | src/proof/sat_proof.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 362a9fb90..e7e8f65b6 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -137,6 +137,7 @@ protected: bool d_storedUnitConflict; public: SatProof(::Minisat::Solver* solver, bool checkRes = false); + virtual ~SatProof() {} protected: void print(ClauseId id); void printRes(ClauseId id); |