1 files changed, 2 insertions, 2 deletions
diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp
index 2d37d5c36..c01d16bfc 100644
--- a/test/api/sep_log_api.cpp
+++ b/test/api/sep_log_api.cpp
@@ -85,7 +85,7 @@ int validate_exception(void)
   {
     Term heap_expr = slv.getSeparationHeap();
   }
-  catch (const CVC4ApiException& e)
+  catch (const CVC5ApiException& e)
   {
     caught_on_heap = true;
 
@@ -101,7 +101,7 @@ int validate_exception(void)
   {
     Term nil_expr = slv.getSeparationNilTerm();
   }
-  catch (const CVC4ApiException& e)
+  catch (const CVC5ApiException& e)
   {
     caught_on_nil = true;