projects
/
cvc5.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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 << ' ';
out << ' ' << getId();
} else if (getMetaKind() == kind::metakind::CONSTANT) {
out << ' ';
- kind::metakind::
NodeValueConstPrinter::t
oStream(out, this);
+ kind::metakind::
nodeValueConstantT
oStream(out, this);
} else {
if (nv_begin() != nv_end()) {
for (const_nv_iterator child = nv_begin(); child != nv_end(); ++child) {
} else {
if (nv_begin() != nv_end()) {
for (const_nv_iterator child = nv_begin(); child != nv_end(); ++child) {