mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-22 16:45:32 +00:00
Code Activity

Header changes so it will compile on VS

Browse source
This commit is contained in:
William Speirs 2014-10-16 12:06:54 -04:00 • committed by Clifford Wolf
parent fda52f05f2
commit 31267a1ae8
10 changed files with 79 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

5
libs/ezsat/ezminisat.cc
View file

@ -27,7 +27,10 @@
#include <stdint.h>
#include <csignal>
#include <cinttypes>
#include <unistd.h>
#ifndef _WIN32
# include <unistd.h>
#endif
#include "../minisat/Solver.h"
#include "../minisat/SimpSolver.h"