From 84fca2c3f03d279699f450d1c2ae1ba4558e3f7d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 24 Dec 2025 17:52:20 -0800
Subject: [PATCH] Fixing misplaced declaration issue.

---
 src/proof/cec/cecCec.c | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/src/proof/cec/cecCec.c b/src/proof/cec/cecCec.c
index e881c53be..f01df4df4 100644
--- a/src/proof/cec/cecCec.c
+++ b/src/proof/cec/cecCec.c
@@ -24,17 +24,16 @@
 #include "misc/extra/extra.h"
 #include "sat/cnf/cnf.h"
 
-void Abc_NtkVerifyPrintCex( const int * pModel, const int * pValues1, const int * pValues2, 
-    const char * const * ppInputNames, int nInputs, const char * const * ppOutputNames, int nOutputs, 
-    const char * pNtkName1, const char * pNtkName2 );
-
 ABC_NAMESPACE_IMPL_START
 
-
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
 
+extern void Abc_NtkVerifyPrintCex( const int * pModel, const int * pValues1, const int * pValues2, 
+    const char * const * ppInputNames, int nInputs, const char * const * ppOutputNames, int nOutputs, 
+    const char * pNtkName1, const char * pNtkName2 );
+
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////