summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaLf.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-06-12 11:08:54 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-06-12 11:08:54 -0700
commit082e5dc1b0d42f575c88dfc7550394a715222b53 (patch)
tree31a806507015d7320663223338d1fea707aed463 /src/aig/gia/giaLf.c
parent0d1a1c462459fd2be96caa027ad619376b66d658 (diff)
downloadabc-082e5dc1b0d42f575c88dfc7550394a715222b53.tar.gz
abc-082e5dc1b0d42f575c88dfc7550394a715222b53.tar.bz2
abc-082e5dc1b0d42f575c88dfc7550394a715222b53.zip
Integrating recent changes.
Diffstat (limited to 'src/aig/gia/giaLf.c')
-rw-r--r--src/aig/gia/giaLf.c3
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 );
}
////////////////////////////////////////////////////////////////////////