From d95fe7675e20eaee86b8e804469e6db83265a005 Mon Sep 17 00:00:00 2001
From: Clark Barrett <clarkbarrett@google.com>
Date: Tue, 21 Apr 2015 16:34:15 -0700
Subject: Changes needed to compile at Google, plus some bug fixes from Google.

---
 src/smt/smt_engine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/smt')

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 229cc7c7c..04af80281 100644
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -474,7 +474,7 @@ public:
     d_resourceManager = NodeManager::currentResourceManager();
   }
 
-  ~SmtEnginePrivate() {
+  ~SmtEnginePrivate() throw() {
     if(d_propagatorNeedsFinish) {
       d_propagator.finish();
       d_propagatorNeedsFinish = false;
-- 
cgit v1.2.3