diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-17 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-17 08:01:00 -0700 |
| commit | d63a0cbbfd3979bb1423946fd1853411fbc66210 (patch) | |
| tree | f3e981717d69b3f725ccbdd9a0ad70c9fe9f320e /src/aig/ntl/ntlReadBlif.c | |
| parent | 05772a795bf5808ff30008fc2a36ec965e18c50e (diff) | |
| download | abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.tar.gz abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.tar.bz2 abc-d63a0cbbfd3979bb1423946fd1853411fbc66210.zip | |
Version abc80717
Diffstat (limited to 'src/aig/ntl/ntlReadBlif.c')
| -rw-r--r-- | src/aig/ntl/ntlReadBlif.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlReadBlif.c b/src/aig/ntl/ntlReadBlif.c index 105f4c4a..6eb2cc95 100644 --- a/src/aig/ntl/ntlReadBlif.c +++ b/src/aig/ntl/ntlReadBlif.c @@ -876,6 +876,8 @@ static int Ioa_ReadParseLineAttrib( Ioa_ReadMod_t * p, char * pLine ) p->pNtk->attrWhite = 0; else if ( strcmp( pToken, "box" ) == 0 ) p->pNtk->attrBox = 1; + else if ( strcmp( pToken, "logic" ) == 0 ) + p->pNtk->attrBox = 0; else if ( strcmp( pToken, "white" ) == 0 ) p->pNtk->attrWhite = 1; else if ( strcmp( pToken, "comb" ) == 0 ) |