diff options
Diffstat (limited to 'src/expr/node_value.cpp')
-rw-r--r-- | src/expr/node_value.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp index 6724b0771..554655573 100644 --- a/src/expr/node_value.cpp +++ b/src/expr/node_value.cpp @@ -104,8 +104,8 @@ void NodeValue::toStream(std::ostream& out) const { if(d_kind == VARIABLE) { out << ":" << this; } else { - for(const_iterator i = begin(); i != end(); ++i) { - if(i != end()) { + for(const_ev_iterator i = ev_begin(); i != ev_end(); ++i) { + if(i != ev_end()) { out << " "; } out << *i; |