diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-13 18:49:25 +0100 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-13 18:49:25 +0100 |
| commit | 558eee987df9dc252748e9b074049f0667563cf2 (patch) | |
| tree | 6ec3469945c988e1649cb461bcdc9a99e919f12d /src/misc | |
| parent | d4f4d3448fe318d05cb7b02f05703e2333ed8ddb (diff) | |
| download | abc-558eee987df9dc252748e9b074049f0667563cf2.tar.gz abc-558eee987df9dc252748e9b074049f0667563cf2.tar.bz2 abc-558eee987df9dc252748e9b074049f0667563cf2.zip | |
Adding new command line args.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extraUtilCfs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c index b21dc445..bf77c8fb 100644 --- a/src/misc/extra/extraUtilCfs.c +++ b/src/misc/extra/extraUtilCfs.c @@ -48,7 +48,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ) +void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fReplaceRare, int fVerbose ) { } |