diff options
Diffstat (limited to 'src/expr/node.cpp')
-rw-r--r-- | src/expr/node.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index 90d29f1eb..ec6b7c6fb 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -32,7 +32,7 @@ TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, std::string message) : Exception(message), d_node(new Node(node)) { -#ifdef CVC4_DEBUG +#ifdef CVC5_DEBUG std::stringstream ss; LastExceptionBuffer* current = LastExceptionBuffer::getCurrent(); if(current != NULL){ @@ -48,7 +48,7 @@ TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, string ssstring = ss.str(); current->setContents(ssstring.c_str()); } -#endif /* CVC4_DEBUG */ +#endif /* CVC5_DEBUG */ } TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() { delete d_node; } |