1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/exception.cpp b/src/base/exception.cpp
index 3c5c21b46..c6fb03834 100644
--- a/src/base/exception.cpp
+++ b/src/base/exception.cpp
@@ -135,14 +135,14 @@ void IllegalArgumentException::construct(const char* header, const char* extra,
 
   setMessage(string(buf));
 
-#ifdef CVC4_DEBUG
+#ifdef CVC5_DEBUG
   LastExceptionBuffer* buffer = LastExceptionBuffer::getCurrent();
   if(buffer != nullptr){
     if(buffer->getContents() == nullptr) {
       buffer->setContents(buf);
     }
   }
-#endif /* CVC4_DEBUG */
+#endif /* CVC5_DEBUG */
   delete [] buf;
 }
 
@@ -176,14 +176,14 @@ void IllegalArgumentException::construct(const char* header, const char* extra,
 
   setMessage(string(buf));
 
-#ifdef CVC4_DEBUG
+#ifdef CVC5_DEBUG
   LastExceptionBuffer* buffer = LastExceptionBuffer::getCurrent();
   if(buffer != nullptr){
     if(buffer->getContents() == nullptr) {
       buffer->setContents(buf);
     }
   }
-#endif /* CVC4_DEBUG */
+#endif /* CVC5_DEBUG */
   delete [] buf;
 }