diff options
Diffstat (limited to 'src/theory/bv/theory_bv.cpp')
| -rw-r--r-- | src/theory/bv/theory_bv.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp index d005e9473..445b2d242 100644 --- a/src/theory/bv/theory_bv.cpp +++ b/src/theory/bv/theory_bv.cpp @@ -205,9 +205,10 @@ void TheoryBV::check(Effort e) // bit-blasting atoms on queue - for (unsigned i = 0; i < d_bitblastQueue.size(); ++i) { - d_bitblaster->bbAtom(d_bitblastQueue[i]); - // would be nice to clear the bitblastQueue? + while (!d_bitblastQueue.empty()) { + TNode node = d_bitblastQueue.front(); + d_bitblaster->bbAtom(node); + d_bitblastQueue.pop(); } // bit-blaster propagation |