diff --git a/src/base/io/ioWriteHMetis.c b/src/base/io/ioWriteHMetis.c index 832133d1c2..832f76fea9 100644 --- a/src/base/io/ioWriteHMetis.c +++ b/src/base/io/ioWriteHMetis.c @@ -72,7 +72,7 @@ void Io_WriteHMetis( Abc_Ntk_t *pNtk, char *pFileName, int fSkipPo, int fWeightE Vec_PtrPush( vHyperEdges, vHyperEdgeEach ); } - nHyperNodesNum = fSkipPo ? Abc_NtkObjNum( pNtk ) - Abc_NtkPoNum( pNtk ) : Abc_NtkObjNum( pNtk ); + nHyperNodesNum = Abc_NtkObjNum( pNtk ); // write the number of hyperedges and the number of vertices if ( fWeightEdges )