diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/gia/giaMini.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index 78d99ca8..ce42f73c 100644 --- a/src/aig/gia/giaMini.c +++ b/src/aig/gia/giaMini.c @@ -317,6 +317,7 @@ Mini_Lut_t * Gia_ManToMiniLut( Gia_Man_t * pGia ) p = Mini_LutStart( LutSize ); // create primary inputs Gia_ManFillValue( pGia ); + Gia_ManConst0(pGia)->Value = 0; Gia_ManForEachCi( pGia, pObj, i ) pObj->Value = Mini_LutCreatePi(p); // create internal nodes |