diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-09-24 22:38:21 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-09-24 22:38:21 +0000 |
| commit | 6e59b60947283d864877c2c2dc883e878913a2d8 (patch) | |
| tree | 3ca30d8d4852d6902e21e8c0a40200405429242f /src/smt | |
| parent | 34b70b42f127378572a488b8a83cb018c7c5ee6b (diff) | |
equality triggers for the equality engine
fixed order of destruction in smt_engine
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index cdb659760..cb97d7f4c 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -95,8 +95,8 @@ SmtEngine::~SmtEngine() { shutdown(); - delete d_propEngine; delete d_theoryEngine; + delete d_propEngine; delete d_decisionEngine; } |