diff options
Diffstat (limited to 'src/misc/extra/extraUtilCfs.c')
| -rw-r--r-- | src/misc/extra/extraUtilCfs.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c index 408f9de6..3d3dbd17 100644 --- a/src/misc/extra/extraUtilCfs.c +++ b/src/misc/extra/extraUtilCfs.c @@ -37,6 +37,21 @@ ABC_NAMESPACE_IMPL_START /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Extra_CommandCfs( int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ) +{ +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |