diff options
Diffstat (limited to 'src/aig/ntl')
| -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 ) |