diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-10-30 15:27:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-30 15:27:10 -0700 |
commit | 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc (patch) | |
tree | cf7b5d7f73a4d4ddc34492334a7d0eb90b57b77b /src/context/cdhashmap.h | |
parent | 8dda9531995953c3cec094339002f2ee7cadae08 (diff) |
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)
Diffstat (limited to 'src/context/cdhashmap.h')
-rw-r--r-- | src/context/cdhashmap.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/context/cdhashmap.h b/src/context/cdhashmap.h index 05d68ead5..fc42c0e85 100644 --- a/src/context/cdhashmap.h +++ b/src/context/cdhashmap.h @@ -88,9 +88,9 @@ #include <unordered_map> #include <vector> -#include "base/cvc4_assert.h" -#include "context/context.h" +#include "base/check.h" #include "context/cdhashmap_forward.h" +#include "context/context.h" namespace CVC4 { namespace context { @@ -278,7 +278,11 @@ class CDHashMap : public ContextObj { Context* d_context; // Nothing to save; the elements take care of themselves - ContextObj* save(ContextMemoryManager* pCMM) override { Unreachable(); } + ContextObj* save(ContextMemoryManager* pCMM) override + { + Unreachable(); + SuppressWrongNoReturnWarning; + } // Similarly, nothing to restore void restore(ContextObj* data) override { Unreachable(); } |