diff options
Diffstat (limited to 'src/aig/gia/giaLf.c')
-rw-r--r-- | src/aig/gia/giaLf.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaLf.c b/src/aig/gia/giaLf.c index 99f585d2..96a633f4 100644 --- a/src/aig/gia/giaLf.c +++ b/src/aig/gia/giaLf.c @@ -46,10 +46,11 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Lf_ManSetDefaultPars( Jf_Par_t * pPars ) { + Jf_ManSetDefaultPars( pPars ); } Gia_Man_t * Lf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { - return NULL; + return Jf_ManPerformMapping( pGia, pPars ); } //////////////////////////////////////////////////////////////////////// |