Incorrect assertion added by recent changes.

2026-09-04 08:33:58 +02:00 · 2014-12-19 18:24:24 -08:00
parent c5162ba6d2
commit dd912b5c61
1 changed files with 1 additions and 1 deletions
@@ -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;
        }