summaryrefslogtreecommitdiffstats
path: root/src/misc/extra
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-01-15 18:27:02 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2019-01-15 18:27:02 -0800
commit7786cb24eac71b1c6fe492227b7a298ca846b23e (patch)
tree18c87d4c0819c07befb5b030840a3974952d5c4f /src/misc/extra
parent36e5badf055e28a0f6560e9e55bfc4e1df6fec79 (diff)
downloadabc-7786cb24eac71b1c6fe492227b7a298ca846b23e.tar.gz
abc-7786cb24eac71b1c6fe492227b7a298ca846b23e.tar.bz2
abc-7786cb24eac71b1c6fe492227b7a298ca846b23e.zip
Procedures to generate constant-argument multipliers.
Diffstat (limited to 'src/misc/extra')
-rw-r--r--src/misc/extra/extraUtilCfs.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c
index 3d3dbd17..b21dc445 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( 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 fVerbose )
{
}