Fix includes after clang-format rearragement

Author: mgudemann

src/ic3/aux_types.hh

@@ -6,8 +6,14 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
 
+#pragma once
+
+#include <queue>
 #include <string>
 
+#include "minisat/core/Solver.h"
+#include "minisat/simp/SimpSolver.h"
+
 #ifndef UNUSED
 #ifdef _MSC_VER
 #define UNUSED

src/ic3/dnf_io.hh

@@ -7,7 +7,13 @@ Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
 
+#pragma once
+
+#include <deque>
 #include <iosfwd>
+#include <map>
+#include <set>
+#include <vector>
 
 typedef std::vector<int> CUBE;
 typedef std::vector<CUBE> DNF;

src/ic3/m0ic3.hh

@@ -5,6 +5,7 @@ Module: IC3 types
 Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
+
 #include "aux_types.hh"
 
 extern int debug_flag;

src/ic3/seq_circ/ccircuit.hh

@@ -6,6 +6,11 @@ Module: Basic types (gate, circuit and so on)
 Author: Eugene Goldberg, eu.goldberg@gmail.com
 
 ******************************************************/
+
+#pragma once
+
+#include "dnf_io.hh"
+
 struct ConstrGateInfo {
   unsigned neg_lit:1;
   unsigned fun_coi:1;