diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c
index 8f5e4ee2e..b429b062e 100644
--- a/src/base/abci/abcMap.c
+++ b/src/base/abci/abcMap.c
@@ -24,6 +24,7 @@
 #include "map/mapper/mapper.h"
 #include "misc/util/utilNam.h"
 #include "map/scl/sclCon.h"
+#include "map/scl/sclLib.h"
 
 ABC_NAMESPACE_IMPL_START
 
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h
index 18e3b92b0..1a072a502 100644
--- a/src/map/mio/mio.h
+++ b/src/map/mio/mio.h
@@ -230,8 +230,6 @@ extern void              Mio_LibraryMatches2Fetch( Mio_Library_t * pLib, Vec_Ptr
 /*=== sclUtil.c =========================================================*/
 extern Mio_Library_t *   Abc_SclDeriveGenlibSimple( void * pScl );
 extern Mio_Library_t *   Abc_SclDeriveGenlib( void * pScl, void * pMio, float Slew, float Gain, int nGatesMin, int fVerbose );
-extern int               Abc_SclHasDelayInfo( void * pScl );
-
 
 ABC_NAMESPACE_HEADER_END