From 9a8981a21e03a41e7a830ca63fdfff489dd8f9be Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 9 Aug 2017 16:44:05 -0700
Subject: [PATCH] Fix compiler warning in src/context/context.h.

---
 src/context/context.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/context/context.h b/src/context/context.h
index 92eb10441..d6b1c4701 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -136,7 +136,7 @@ public:
       d_scope(d_context->getTopScope()) {
       d_context->push();
     }
-    ~ScopedPush() {
+    ~ScopedPush() noexcept(false) {
       d_context->pop();
       AlwaysAssert(d_context->getTopScope() == d_scope,
                    "Context::ScopedPush observed an uneven Context (at pop, "
-- 
2.30.2