diff options
| author | Tim King <taking@google.com> | 2015-12-15 14:35:34 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-12-15 15:28:45 -0800 |
| commit | 3f29ad74a705883181d9c934a0f772d4850b0b0e (patch) | |
| tree | 8644e56a4d03390d72eac9bbb7ed7a35cc3b221a /src/printer/cvc/cvc_printer.cpp | |
| parent | c358ccba3bf54a85ed9503b636c1f0bab381bc05 (diff) | |
Breaking the include cycle between Record and Expr.
Diffstat (limited to 'src/printer/cvc/cvc_printer.cpp')
| -rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index d33b97d66..db4558af6 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -390,7 +390,8 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo out << "(# "; TNode::iterator i = n.begin(); bool first = true; - for(Record::const_iterator j = rec.begin(); j != rec.end(); ++i, ++j) { + const Record::FieldVector& fields = rec.getFields(); + for(Record::FieldVector::const_iterator j = fields.begin(); j != fields.end(); ++i, ++j) { if(!first) { out << ", "; } |