From eaa204829cddeb6d6db4a6679aaf4dff8deefd40 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 5 Dec 2025 20:50:53 -0800
Subject: [PATCH] Compiler warning.

---
 src/base/abci/abcTopo.c | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

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.]