From 540ef6910a2b7ffeb67bac18dfc489fb4a6115d6 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Tue, 9 Mar 2021 13:48:43 +0100
Subject: Some more cleanup of includes (#6083)

This PR does some more cleanup of the includes.
---
 src/theory/bv/bv_eager_solver.h | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/theory/bv/bv_eager_solver.h')

diff --git a/src/theory/bv/bv_eager_solver.h b/src/theory/bv/bv_eager_solver.h
index 28624a949..6a1d61a3b 100644
--- a/src/theory/bv/bv_eager_solver.h
+++ b/src/theory/bv/bv_eager_solver.h
@@ -19,9 +19,6 @@
 #ifndef CVC4__THEORY__BV__BV_EAGER_SOLVER_H
 #define CVC4__THEORY__BV__BV_EAGER_SOLVER_H
 
-#include <unordered_set>
-#include <vector>
-
 #include "expr/node.h"
 #include "theory/bv/bv_solver_lazy.h"
 #include "theory/theory_model.h"
-- 
cgit v1.2.3