diff options
Diffstat (limited to 'src/base/io')
-rw-r--r-- | src/base/io/ioReadEqn.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/base/io/ioReadEqn.c b/src/base/io/ioReadEqn.c index 999834d6..1e4f5d46 100644 --- a/src/base/io/ioReadEqn.c +++ b/src/base/io/ioReadEqn.c @@ -27,8 +27,6 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -#ifdef ABC_USE_CUDD - static Abc_Ntk_t * Io_ReadEqnNetwork( Extra_FileReader_t * p ); static void Io_ReadEqnStrCompact( char * pStr ); static int Io_ReadEqnStrFind( Vec_Ptr_t * vTokens, char * pName ); @@ -235,11 +233,6 @@ void Io_ReadEqnStrCutAt( char * pStr, char * pStop, int fUniqueOnly, Vec_Ptr_t * Vec_PtrPush( vTokens, pToken ); } -#else - -Abc_Ntk_t * Io_ReadEqn( char * pFileName, int fCheck ) { return NULL; } - -#endif //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |