From 22b0c3aa70cd874009d01cb6dfa7cd68f5abb86c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 31 Jan 2021 16:17:36 -0800
Subject: [PATCH] add priority queue to instantiation

---
 src/muz/rel/tbv.cpp | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/src/muz/rel/tbv.cpp b/src/muz/rel/tbv.cpp
index be85edead..80763e7e7 100644
--- a/src/muz/rel/tbv.cpp
+++ b/src/muz/rel/tbv.cpp
@@ -31,12 +31,8 @@ void tbv_manager::debug_alloc() {
 
 tbv_manager::~tbv_manager() {    
     DEBUG_CODE(
-        ptr_vector<tbv>::iterator it = allocated_tbvs.begin();
-        ptr_vector<tbv>::iterator end = allocated_tbvs.end();
-        for (; it != end; ++it) {
-            std::cout << "dangling: " << (*it) << "\n";
-            TRACE("doc", tout << "dangling: " << (*it) << "\n";);
-        });
+        for (auto t : allocated_tbvs)
+            TRACE("doc", tout << "dangling: " << t << "\n";););
 }
 
 void tbv_manager::reset() {