projects
/
yosys.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
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 {