From a4aa87b6c90f4c2cb20737f61e7dc47059c03d13 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 22 Oct 2020 12:12:32 -0700
Subject: [PATCH] revert to STL allocated memory to be orthogonal to memory
 manager behavior

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/scoped_timer.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp
index 5375ca96b..06b10479c 100644
--- a/src/util/scoped_timer.cpp
+++ b/src/util/scoped_timer.cpp
@@ -27,6 +27,7 @@ Revision History:
 #include <condition_variable>
 #include <mutex>
 #include <thread>
+#include <vector>
 
 struct state {
     std::thread * m_thread { nullptr };
@@ -43,7 +44,7 @@ struct state {
  * destructing threads blocked on condition variables leads to
  * deadlock.
  */
-static ptr_vector<state> available_workers;
+static std::vector<state*> available_workers;
 static std::mutex workers;
 
 static void thread_func(state *s) {