Fix typo

2023-01-25 16:50:56 +01:00 · 2023-01-25 16:50:56 +01:00 · 0ddcf81ac0
parent 1c813a1cf9
commit 0ddcf81ac0
1 changed files with 1 additions and 1 deletions
--- 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);
 }