projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 02efafa)
Fixed minisat include
authorClifford Wolf <clifford@clifford.at>
Fri, 11 Oct 2013 19:17:01 +0000 (21:17 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 11 Oct 2013 19:17:01 +0000 (21:17 +0200)
libs/ezsat/ezminisat.cc patch | blob | history

diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index a9f680b98ec8df71c8c4493aa8e7260a077ff970..27fe36c6594df5e2b55b4900b79daa9dbcf9d12b 100644 (file)
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -26,7 +26,7 @@
 #include <signal.h>
 #include <cinttypes>
 
-#include "minisat/core/Solver.h"
+#include <minisat/core/Solver.h>
 
 ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
 {