From b502f0022290e0a52c624d87fcc42b6ba5881720 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Mon, 22 Apr 2024 17:34:38 +0200 Subject: [PATCH] Fix prototype mismatch for `Gia_ManSimRsb` --- src/base/abci/abc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 0146f6a73..d7e16576b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -35055,7 +35055,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9SimRsb( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Gia_ManSimRsb( Gia_Man_t * p, int nCands, int fVerbose ); + extern int Gia_ManSimRsb( Gia_Man_t * p, int nCands, int fVerbose ); int c, nCands = 32, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "Nvh" ) ) != EOF )