Refactor `metakind` (#7639)

[cvc5.git] / src / expr / node_value.cpp

diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 46ba3d191ad47c067b82b67710c14699f5cec4cb..d50c3bc00038effbe2d2025191417af5a017bff3 100644 (file)
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -66,7 +66,7 @@ void NodeValue::printAst(std::ostream& out, int ind) const {
     out << ' ' << getId();
   } else if (getMetaKind() == kind::metakind::CONSTANT) {
     out << ' ';
-    kind::metakind::NodeValueConstPrinter::toStream(out, this);
+    kind::metakind::nodeValueConstantToStream(out, this);
   } else {
     if (nv_begin() != nv_end()) {
       for (const_nv_iterator child = nv_begin(); child != nv_end(); ++child) {