From 558eee987df9dc252748e9b074049f0667563cf2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Mar 2019 18:49:25 +0100
Subject: Adding new command line args.

---
 src/misc/extra/extraUtilCfs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc/extra/extraUtilCfs.c')

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 )
 {
 }
 
-- 
cgit v1.2.3