diff options
| -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 /// //////////////////////////////////////////////////////////////////////// |