Fix compiler warning in src/context/context.h.

diff --git a/src/context/context.h b/src/context/context.h
index 92eb10441a5f4059214ff349c07108cacd2fc9e1..d6b1c47014e2ebf3d03ebbc65b885871c0163226 100644 (file)
--- 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, "