diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-26 14:56:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-26 14:56:43 -0700 |
| commit | d49bb366547f58a6320a570ef2a8f0f2a1d208da (patch) | |
| tree | cf0cb100c4f8d7b8402847241a98ddb0ee6c3d8c /src | |
| parent | d0af09a20977a2afd1d8f056bf22dc7428d246e3 (diff) | |
| download | abc-d49bb366547f58a6320a570ef2a8f0f2a1d208da.tar.gz abc-d49bb366547f58a6320a570ef2a8f0f2a1d208da.tar.bz2 abc-d49bb366547f58a6320a570ef2a8f0f2a1d208da.zip | |
New command &rexwalk.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaRex.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaRex.c b/src/aig/gia/giaRex.c index d228642f..e778ceff 100644 --- a/src/aig/gia/giaRex.c +++ b/src/aig/gia/giaRex.c @@ -27,6 +27,8 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +extern void Extra_PrintBinary( FILE * pFile, unsigned Sign[], int nBits ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// |