luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #290 from YosysHQ/povik/fix-simrsb-decl 

Fix prototype mismatch for `Gia_ManSimRsb`
This commit is contained in:
alanminko 2024-04-22 15:14:19 -04:00 committed by GitHub
parent 8a174ee865 e6a3dc602c
commit 6699c07b92
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/abci/abc.c
View File

@ -35012,7 +35012,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 )