revert update to vector for testing #6902

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 31, 2024 · a3eb2ff · a3eb2ff
1 parent a1bcf13
commit a3eb2ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 {