diff options
Diffstat (limited to 'src/context/cdhashset.h')
| -rw-r--r-- | src/context/cdhashset.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/context/cdhashset.h b/src/context/cdhashset.h index a35ecae88..57cd101a9 100644 --- a/src/context/cdhashset.h +++ b/src/context/cdhashset.h @@ -19,10 +19,9 @@ #ifndef CVC4__CONTEXT__CDHASHSET_H #define CVC4__CONTEXT__CDHASHSET_H -#include "base/cvc4_assert.h" -#include "context/context.h" +#include "base/check.h" #include "context/cdinsert_hashmap.h" - +#include "context/context.h" namespace CVC4 { namespace context { @@ -51,7 +50,7 @@ public: } static void operator delete(void* pMem) { - AlwaysAssert(false, "It is not allowed to delete a ContextObj this way!"); + AlwaysAssert(false) << "It is not allowed to delete a ContextObj this way!"; } CDHashSet(Context* context) : |