From 260fa85161b0ac9ab174b2214063bc7f4fc14b89 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 6 Aug 2025 07:38:27 -0700
Subject: [PATCH] Fixing a linker problem.

---
 src/base/abci/abc.c          | 11 ++++++++++-
 src/misc/util/utilPrefix.cpp |  2 ++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 67fec1cb2..85425af30 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -56710,6 +56710,16 @@ usage:
     return 1;
 }
 
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+int* adder_return_array(int width, int mfo, int* pnObjs, int* pnIns, int* pnLatches, int* pnOuts, int* pnAnds, int fDumpVer, int fDumpMiter, int fVerbose);
+
+#ifdef __cplusplus
+}
+#endif
+
 
 /**Function*************************************************************
 
@@ -56724,7 +56734,6 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9GenPrefix( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    extern int* adder_return_array(int width, int mfo, int* pnObjs, int* pnIns, int* pnLatches, int* pnOuts, int* pnAnds, int fDumpVer, int fDumpMiter, int fVerbose);
     extern Gia_Man_t * Gia_ManDupFromArray( int * pObjs, int nObjs, int nIns, int nLatches, int nOuts, int nAnds );
     int c, nBits = 8, nFans = 4, fDumpVer = 0, fDumpMiter = 0, fVerbose = 0;
     Extra_UtilGetoptReset();
diff --git a/src/misc/util/utilPrefix.cpp b/src/misc/util/utilPrefix.cpp
index ca3e54d82..31a8fab22 100644
--- a/src/misc/util/utilPrefix.cpp
+++ b/src/misc/util/utilPrefix.cpp
@@ -777,6 +777,8 @@ extern "C" int* adder_return_array(int width, int mfo, int* pnObjs, int* pnIns,
 	// generate prefix adder with miter
 	if ( fDumpVer )
 		generate_prefix_adder_verilog(graph, width, mfo, fDumpMiter);
+	if ( fVerbose )
+		graph.print();
 	
 	// Count components
 	int num_inputs = 2 * width;     // a[0..width-1], b[0..width-1]