diff options
Diffstat (limited to 'src/aig/saig/saigIoa.c')
-rw-r--r-- | src/aig/saig/saigIoa.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/aig/saig/saigIoa.c b/src/aig/saig/saigIoa.c index d049489e..c84c37f3 100644 --- a/src/aig/saig/saigIoa.c +++ b/src/aig/saig/saigIoa.c @@ -18,8 +18,12 @@ ***********************************************************************/ +#include <math.h> #include "saig.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -346,7 +350,7 @@ Aig_Man_t * Saig_ManReadBlif( char * pFileName ) // allocate mapping if ( pNum2Id == NULL ) { - extern double pow( double x, double y ); +// extern double pow( double x, double y ); int Size = (int)pow(10.0, (double)(strlen(pToken) - 1)); pNum2Id = ABC_CALLOC( int, Size ); } @@ -397,3 +401,5 @@ Aig_Man_t * Saig_ManReadBlif( char * pFileName ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |