diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Expr/ExprPPrinter.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Expr/ExprPPrinter.cpp b/lib/Expr/ExprPPrinter.cpp index 7bfb6567..3fa7155b 100644 --- a/lib/Expr/ExprPPrinter.cpp +++ b/lib/Expr/ExprPPrinter.cpp @@ -529,6 +529,8 @@ void ExprPPrinter::printQuery(std::ostream &os, // Print array declarations. if (printArrayDecls) { + for (const Array * const* it = evalArraysBegin; it != evalArraysEnd; ++it) + p.usedArrays.insert(*it); for (std::set<const Array*>::iterator it = p.usedArrays.begin(), ie = p.usedArrays.end(); it != ie; ++it) { const Array *A = *it; |