diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-09 16:44:05 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-09 16:44:05 -0700 |
| commit | 9a8981a21e03a41e7a830ca63fdfff489dd8f9be (patch) | |
| tree | 08306e63d4a0269362722979309f3f14db29917c | |
| parent | bef144161afe863238290b026752530613fd4823 (diff) | |
Fix compiler warning in src/context/context.h.
| -rw-r--r-- | src/context/context.h | 2 |
1 files changed, 1 insertions, 1 deletions
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, " |