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

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

diff --git a/src/sat/sat_lut_finder.h b/src/sat/sat_lut_finder.h
index 917cce4cb..2e227e0b5 100644
--- a/src/sat/sat_lut_finder.h
+++ b/src/sat/sat_lut_finder.h
@@ -37,7 +37,6 @@ namespace sat {
             clause_filter(unsigned f, clause* cp):
                 m_filter(f), m_clause(cp) {}
         };
-        typedef bool_vector bool_vector;
         unsigned                m_max_lut_size;
         vector<svector<clause_filter>>   m_clause_filters;  // index of clauses.
         uint64_t                m_combination;              // bit-mask of parities that have been found