Do not create spec outputs in the boundary miter.

schnrj · Sep 15, 2023 · 318d5cb · 318d5cb
1 parent 57cc2bd
commit 318d5cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c
@@ -5708,8 +5708,8 @@ Gia_Man_t * Gia_ManBoundaryMiter( Gia_Man_t * p1, Gia_Man_t * p2, int fVerbose )
     }
     Gia_ManForEachCo( p2, pObj, i )
         Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) );
-    Gia_ManForEachCo( p1, pObj, i )
-        Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) );
+    //Gia_ManForEachCo( p1, pObj, i )
+    //    Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) );
     Vec_IntForEachEntry( vLits, iLit, i )
         Gia_ManAppendCo( pNew, iLit );
     Vec_IntFree( vLits );