diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:24:24 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:24:24 -0800 |
| commit | dd912b5c610b1304e5ca27a5b9ec9906ca1bb4e1 (patch) | |
| tree | 93264ee572c43fe4501fe9fbf6546b6581b119a3 /src | |
| parent | c5162ba6d2ddc5b31a65615902aee0241f62829b (diff) | |
| download | abc-dd912b5c610b1304e5ca27a5b9ec9906ca1bb4e1.tar.gz abc-dd912b5c610b1304e5ca27a5b9ec9906ca1bb4e1.tar.bz2 abc-dd912b5c610b1304e5ca27a5b9ec9906ca1bb4e1.zip | |
Incorrect assertion added by recent changes.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index ddd47600..029d1599 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -992,7 +992,7 @@ Gia_Man_t * Gia_ManDupMarked( Gia_Man_t * p ) { if ( pObj->fMark0 ) { - assert( Gia_ObjIsAnd(pObj) && !Gia_ObjIsBuf(pObj) ); + assert( !Gia_ObjIsBuf(pObj) ); pObj->fMark0 = 0; continue; } |