From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Wed, 9 Aug 2017 23:44:05 +0000 (-0700)
Subject: Fix compiler warning in src/context/context.h.
X-Git-Tag: cvc5-1.0.0~5685
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a8981a21e03a41e7a830ca63fdfff489dd8f9be;p=cvc5.git

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

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, "