diff options
Diffstat (limited to 'src/sat/glucose2/SimpSolver.h')
| -rw-r--r-- | src/sat/glucose2/SimpSolver.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/glucose2/SimpSolver.h b/src/sat/glucose2/SimpSolver.h index dbb80434..00dbfa4c 100644 --- a/src/sat/glucose2/SimpSolver.h +++ b/src/sat/glucose2/SimpSolver.h @@ -24,6 +24,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #include "sat/glucose2/Queue.h" #include "sat/glucose2/Solver.h" +#include "sat/glucose2/CGlucose.h" + ABC_NAMESPACE_CXX_HEADER_START namespace Gluco2 { |