diff options
Diffstat (limited to 'src/prop/sat_solver_factory.h')
-rw-r--r-- | src/prop/sat_solver_factory.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/prop/sat_solver_factory.h b/src/prop/sat_solver_factory.h index 34776c245..e0446eb4a 100644 --- a/src/prop/sat_solver_factory.h +++ b/src/prop/sat_solver_factory.h @@ -14,12 +14,13 @@ ** SAT Solver creation facility **/ -#pragma once +#include "cvc4_private.h" -#include "cvc4_public.h" +#pragma once #include <string> #include <vector> + #include "prop/sat_solver.h" namespace CVC4 { |