diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index f500b46b2..ff5e6e3dc 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -113,8 +113,8 @@ extern void *      sat_solver_store_release( sat_solver * s );
 //=================================================================================================
 // Solver representation:
 
-struct clause_t;
-typedef struct clause_t clause;
+//struct clause_t;
+//typedef struct clause_t clause;
 
 struct sat_solver_t
 {
diff --git a/src/sat/bsat/satSolver2.h b/src/sat/bsat/satSolver2.h
index 3ccf96aab..dda7be7a3 100644
--- a/src/sat/bsat/satSolver2.h
+++ b/src/sat/bsat/satSolver2.h
@@ -74,8 +74,8 @@ extern void *      sat_solver2_store_release( sat_solver2 * s );
 //=================================================================================================
 // Solver representation:
 
-struct clause_t;
-typedef struct clause_t clause;
+//struct clause_t;
+//typedef struct clause_t clause;
 
 struct sat_solver2_t
 {
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h
index 4eedbdd04..ef3054d2d 100644
--- a/src/sat/bsat/satVec.h
+++ b/src/sat/bsat/satVec.h
@@ -124,6 +124,8 @@ struct stats_t
 };
 typedef struct stats_t stats_t;
 
+struct clause_t;
+typedef struct clause_t clause;
 
 ABC_NAMESPACE_HEADER_END