From d49bb366547f58a6320a570ef2a8f0f2a1d208da Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 26 Sep 2015 14:56:43 -0700 Subject: New command &rexwalk. --- src/aig/gia/giaRex.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia') 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 /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3