From a3eb2ff58d9da628c98a6e06faf3e449d04b6a54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 30 Aug 2024 17:43:15 -0700
Subject: [PATCH] revert update to vector for testing #6902

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/vector.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/vector.h b/src/util/vector.h
index e8ccf5ae8..31ced7f4b 100644
--- a/src/util/vector.h
+++ b/src/util/vector.h
@@ -45,7 +45,7 @@ Revision History:
 template <typename T>
 using std_vector = std::vector<T, std_allocator<T>>;
 
-#if 1
+#if 0
 
 template<typename T, bool CallDestructors = true, typename SZ = unsigned>
 class vector {