diff options
Diffstat (limited to 'libs/minisat/Solver.h')
| -rw-r--r-- | libs/minisat/Solver.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/libs/minisat/Solver.h b/libs/minisat/Solver.h index 73fc7d4cf..62a12f3c7 100644 --- a/libs/minisat/Solver.h +++ b/libs/minisat/Solver.h @@ -21,12 +21,12 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #ifndef Minisat_Solver_h #define Minisat_Solver_h -#include "libs/minisat/Vec.h" -#include "libs/minisat/Heap.h" -#include "libs/minisat/Alg.h" -#include "libs/minisat/IntMap.h" -#include "libs/minisat/Options.h" -#include "libs/minisat/SolverTypes.h" +#include "Vec.h" +#include "Heap.h" +#include "Alg.h" +#include "IntMap.h" +#include "Options.h" +#include "SolverTypes.h" namespace Minisat { |