Merge pull request #1868 from boqwxp/cleanup_delete

[yosys.git] / libs / minisat / Heap.h

diff --git a/libs/minisat/Heap.h b/libs/minisat/Heap.h
index a75124627437e4cf45bd3902134d3897cd6312f9..057a3cdf247be9b4b18357cb738fee7e20b2b80b 100644 (file)
--- a/libs/minisat/Heap.h
+++ b/libs/minisat/Heap.h
@@ -21,8 +21,8 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #ifndef Minisat_Heap_h
 #define Minisat_Heap_h
 
-#include "libs/minisat/Vec.h"
-#include "libs/minisat/IntMap.h"
+#include "Vec.h"
+#include "IntMap.h"
 
 namespace Minisat {