Bug fix.

086321a2 · Alan Mishchenko · acdb94d1 · 086321a2
Commit 086321a2 authored Feb 02, 2023 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/abci/abcIvy.c
+1 -1

No files found.
--- a/src/base/abci/abcIvy.c
+++ b/src/base/abci/abcIvy.c
@@ -1162,7 +1162,7 @@ Ivy_Man_t * Gia_ManToIvySimple( Gia_Man_t * p )
    Gia_Obj_t * pObj; int i;
    Ivy_Obj_t ** ppNodes = ABC_FALLOC( Ivy_Obj_t *, Gia_ManObjNum(p) );
    // create the new manager
-    pNew = Ivy_ManStart( Gia_ManObjNum(p) );
+    pNew = Ivy_ManStart();
    // create the PIs
    Gia_ManForEachObj( p, pObj, i )
    {