diff --git a/svf/lib/AE/Svfexe/AbstractInterpretation.cpp b/svf/lib/AE/Svfexe/AbstractInterpretation.cpp
index f41ec043b..7065e36f7 100644
--- a/svf/lib/AE/Svfexe/AbstractInterpretation.cpp
+++ b/svf/lib/AE/Svfexe/AbstractInterpretation.cpp
@@ -1260,10 +1260,10 @@ void AbstractInterpretation::checkPointAllSet()
     }
     else
     {
-        SVFUtil::errs() << SVFUtil::sucMsg("There exists checkpoints not checked!!\n");
+        SVFUtil::errs() << SVFUtil::errMsg("At least one svf_assert has not been checked!!") << "\n";
         for (const CallICFGNode* call: _checkpoints)
         {
-            SVFUtil::errs() << SVFUtil::sucMsg(call->toString() + "\n");
+            SVFUtil::errs() << call->toString() + "\n";
         }
         assert(false);
     }