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/context/context.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/context')

diff --git a/src/context/context.h b/src/context/context.h
index 02d82a6d3..9c631b202 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -613,7 +613,7 @@ public:
   /**
    * Destructor does nothing: subclass must explicitly call destroy() instead.
    */
-  virtual ~ContextObj() {}
+  virtual ~ContextObj() throw(AssertionException) {}
 
   /**
    * If you want to allocate a ContextObj object on the heap, use this
-- 
cgit v1.2.3