diff --git a/src/ExprNode.cc b/src/ExprNode.cc
index 3beed93af522decd5d19be9f605e6ca35ab489e5..ebd364de6db36f068f6df6d7c612e635236ea1b4 100644
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -557,7 +557,7 @@ BinaryOpNode *
 NumConstNode::normalizeEquationHelper([[maybe_unused]] const set<expr_t> &contain_var,
                                       [[maybe_unused]] expr_t rhs) const
 {
-  cerr << "NumConstNode::normalizeEquation: this should not happen" << endl;
+  cerr << "NumConstNode::normalizeEquationHelper: this should not happen" << endl;
   exit(EXIT_FAILURE);
 }