diff options
Diffstat (limited to 'src/aig/ntl/ntlWriteBlif.c')
| -rw-r--r-- | src/aig/ntl/ntlWriteBlif.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlWriteBlif.c b/src/aig/ntl/ntlWriteBlif.c index ed45fcaf..9814ed5d 100644 --- a/src/aig/ntl/ntlWriteBlif.c +++ b/src/aig/ntl/ntlWriteBlif.c @@ -47,6 +47,8 @@ void Ioa_WriteBlifModel( FILE * pFile, Ntl_Mod_t * pModel ) float Delay; int i, k, fClockAdded = 0; fprintf( pFile, ".model %s\n", pModel->pName ); + if ( pModel->fKeep ) + fprintf( pFile, ".attrib keep\n" ); fprintf( pFile, ".inputs" ); Ntl_ModelForEachPi( pModel, pObj, i ) fprintf( pFile, " %s", Ntl_ObjFanout0(pObj)->pName ); |