diff options
Diffstat (limited to 'src/map/super/superInt.h')
-rw-r--r-- | src/map/super/superInt.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/super/superInt.h b/src/map/super/superInt.h index 97ed4c5a..ec6d0a38 100644 --- a/src/map/super/superInt.h +++ b/src/map/super/superInt.h @@ -55,8 +55,8 @@ extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose ); /*=== superGate.c =============================================================*/ extern void Super_Precompute( Mio_Library_t * pLibGen, int nInputs, int nLevels, float tDelayMax, float tAreaMax, int TimeLimit, bool fSkipInv, bool fWriteOldFormat, int fVerbose ); +#endif + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// - -#endif |