diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-05 17:49:25 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-05 17:49:25 -0500 |
commit | 66b99ac64a6920787905948315e74ca1c5b3e90b (patch) | |
tree | 74df474faa96cdc6fdaf67ff5f95e8cdb31c4f02 /src | |
parent | c921b7a9ab231c3eeca426644fb815e8062e18e3 (diff) | |
parent | 8eb02754af2dbef5b3704d6674e8b7376f07f8a1 (diff) |
Merge branch '1.0.x'
Conflicts:
src/smt/smt_engine.cpp
Diffstat (limited to 'src')
-rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index e7c0999da..8eb6664ca 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -392,6 +392,7 @@ public: d_propagator.finish(); d_propagatorNeedsFinish = false; } + d_smt.d_nodeManager->unsubscribeEvents(this); } void nmNotifyNewSort(TypeNode tn) { |