From 1fb7ef8153eb42bc8b614f109571c9e47138b956 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 30 Sep 2013 22:41:55 -0700
Subject: Converting mapped AIG into strashed AIG.

---
 src/aig/gia/giaJf.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/giaJf.c')

diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c
index e330fb80..6af8a4b3 100644
--- a/src/aig/gia/giaJf.c
+++ b/src/aig/gia/giaJf.c
@@ -1499,7 +1499,7 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p )
         Jf_CutForEachLit( pCut, iLit, k )
             Vec_IntPush( vLeaves, Abc_Lit2LitL(Vec_IntArray(vCopies), iLit) );
         // create GIA
-        iLit = Dsm_ManDeriveGia( pNew, pTruth, vLeaves, vCover );
+        iLit = Dsm_ManTruthToGia( pNew, pTruth, vLeaves, vCover );
         iLit = Abc_LitNotCond( iLit, (p->pPars->fCutMin && Jf_CutFuncCompl(pCut)) );
         Vec_IntWriteEntry( vCopies, i, iLit );
     }
-- 
cgit v1.2.3