From f39b84a4a1d2ff4ac26d954148e8a2dd09a8da03 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 22 Oct 2025 11:24:18 -0700
Subject: [PATCH] Fixing compilation problem.

---
 src/aig/gia/giaDecGraph.cpp | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/aig/gia/giaDecGraph.cpp b/src/aig/gia/giaDecGraph.cpp
index 01a7101c6..0efbe7bf8 100644
--- a/src/aig/gia/giaDecGraph.cpp
+++ b/src/aig/gia/giaDecGraph.cpp
@@ -41,6 +41,7 @@
 
 #include "gia.h"
 #include "misc/vec/vecHash.h"
+#include "misc/extra/extra.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -2180,10 +2181,6 @@ Gia_Man_t* Gia_ManDecGraph(Gia_Man_t* p) {
     return pNew;
 }
 
-extern "C" {
-extern char * Extra_FileReadContents( char * pFileName );
-}
-
 Gia_Man_t* Gia_ManDecGraphFromFile(char* pFileName) {
     char* pBuffer = Extra_FileReadContents(pFileName);