diff options
Diffstat (limited to 'src/map/super/superInt.h')
| -rw-r--r-- | src/map/super/superInt.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h index a808eb64..ab35c796 100644 --- a/src/map/super/superInt.h +++ b/src/map/super/superInt.h @@ -54,12 +54,6 @@ ABC_NAMESPACE_HEADER_START /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -/*=== superAnd.c =============================================================*/ -extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose ); -/*=== superGate.c =============================================================*/ -extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, int nGatesMax, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fWriteOldFormat, int fVerbose ); - - ABC_NAMESPACE_HEADER_END |