diff --git a/src/base/abci/abcTopo.c b/src/base/abci/abcTopo.c
index 802543555..aa5bcf75e 100644
--- a/src/base/abci/abcTopo.c
+++ b/src/base/abci/abcTopo.c
@@ -26,11 +26,7 @@
 #define KISSAT_SAT   10
 #define KISSAT_UNDEC  0
 
-static int AbcTopo_KissatTerminate( void * pData )
-{
-    abctime * pTimeStop = (abctime *)pData;
-    return pTimeStop && *pTimeStop && Abc_Clock() > *pTimeStop;
-}
+ABC_NAMESPACE_IMPL_START
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
@@ -40,6 +36,12 @@ static int AbcTopo_KissatTerminate( void * pData )
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
 
+static int AbcTopo_KissatTerminate( void * pData )
+{
+    abctime * pTimeStop = (abctime *)pData;
+    return pTimeStop && *pTimeStop && Abc_Clock() > *pTimeStop;
+}
+
 /**Function*************************************************************
 
   Synopsis    [Exact synthesis of the MO function into a fixed-topology network.]