mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 19:52:31 +00:00
Code Activity

Remove unncessary header

Browse source
This commit is contained in:
Eddie Hung 2019-06-18 12:37:46 -07:00
parent ad9658ea5b
commit 6a4025b5ee
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
frontends/aiger/aigerparse.cc
View file

@ -22,9 +22,6 @@
// Armin Biere. The AIGER And-Inverter Graph (AIG) Format Version 20071012. Technical Report 07/1, October 2011, FMV Reports Series, Institute for Formal Models and Verification, Johannes Kepler University, Altenbergerstr. 69, 4040 Linz, Austria.
// http://fmv.jku.at/papers/Biere-FMV-TR-07-1.pdf
#ifdef _WIN32
#include <libgen.h>
#endif
// https://stackoverflow.com/a/46137633
#ifdef _MSC_VER
#include <stdlib.h>