diff options
Diffstat (limited to 'src/aig/gia/giaSim4.c')
-rw-r--r-- | src/aig/gia/giaSim4.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaSim4.c b/src/aig/gia/giaSim4.c index ad0b7a21..04352761 100644 --- a/src/aig/gia/giaSim4.c +++ b/src/aig/gia/giaSim4.c @@ -41,8 +41,9 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Gia_Sim4Try( char * pFileName0, char * pFileName1, int fVerbose ) +int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int fOrder, int fVerbose ) { + return 0; } //////////////////////////////////////////////////////////////////////// |