From da6297f31f8f5e48ae423e478b1355bcd334a58b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 5 Apr 2020 17:41:19 -0700
Subject: [PATCH] bool_vector

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_local_search.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/sat_local_search.h b/src/sat/sat_local_search.h
index 78e0d8cd6..0f955a17e 100644
--- a/src/sat/sat_local_search.h
+++ b/src/sat/sat_local_search.h
@@ -78,7 +78,6 @@ namespace sat {
             pbcoeff(unsigned id, unsigned coeff):
                 m_constraint_id(id), m_coeff(coeff) {}
         };
-        typedef bool_vector bool_vector;
         typedef svector<pbcoeff> coeff_vector;