Small changes.

src/base/abci/abcDar.c

@@ -832,7 +832,7 @@ static inline Abc_Obj_t * Abc_NtkFromCellRead( Abc_Ntk_t * p, Vec_Int_t * vCopyL
 }
 Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p )
 {
-    int fVerbose = 0;
+    int fVerbose = 1;
     int fDuplicate = 1;
     Abc_Ntk_t * pNtkNew;
     Vec_Int_t * vCopyLits;

src/base/abci/abcPrint.c

@@ -1085,10 +1085,11 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary )
             if ( Counter == 0 )
                 continue;
             Area = Counter * Mio_GateReadArea( ppGates[i] );
-            printf( "%-*s   Fanin = %2d   Instance = %8d   Area = %10.2f   %6.2f %%\n",
+            printf( "%-*s   Fanin = %2d   Instance = %8d   Area = %10.2f   %6.2f %%    %s\n",
                 nGateNameLen, Mio_GateReadName( ppGates[i] ),
                 Mio_GateReadPinNum( ppGates[i] ),
-                Counter, Area, 100.0 * Area / AreaTotal );
+                Counter, Area, 100.0 * Area / AreaTotal,
+                Mio_GateReadForm(ppGates[i]) );
         }
         printf( "%-*s                Instance = %8d   Area = %10.2f   %6.2f %%\n",
             nGateNameLen, "TOTAL",