luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing C++ compilation issues.

This commit is contained in:
Alan Mishchenko 2013-01-08 14:18:13 +08:00
parent 1b6662ce4a
commit a3b5a6ab4a
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/opt/nwk/nwkAig.c
View File

@ -104,9 +104,12 @@ Vec_Ptr_t * Nwk_ManDeriveRetimingCut( Aig_Man_t * p, int fForward, int fVerbose
}
ABC_NAMESPACE_IMPL_END
#include "proof/abs/abs.h"
ABC_NAMESPACE_IMPL_START
/**Function*************************************************************
Synopsis [Collects reachable nodes.]