Make sure to include arrays to be evaluated in the set of used arrays.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73030 91177308-0d34-0410-b5e6-96231b3b80d8

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;