mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

Fixed minisat include

Browse source
This commit is contained in:
Clifford Wolf 2013-10-11 21:17:01 +02:00
parent 02efafa7f1
commit a97520785a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libs/ezsat/ezminisat.cc
View file

@ -26,7 +26,7 @@
#include <signal.h> #include <signal.h>
#include <cinttypes> #include <cinttypes>
#include "minisat/core/Solver.h" #include <minisat/core/Solver.h>
ezMiniSAT::ezMiniSAT() : minisatSolver(NULL) ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{ {