Fixing compilation problem.

This commit is contained in:
Alan Mishchenko 2025-10-22 11:24:18 -07:00
parent 93f3791fbe
commit f39b84a4a1
1 changed files with 1 additions and 4 deletions

View File

@ -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);