From c1ac7d81532400b4ef6351f80503eda2b2e96039 Mon Sep 17 00:00:00 2001
From: wjrforcyber <wjrforcyber@163.com>
Date: Thu, 9 Jan 2025 23:04:00 +0800
Subject: [PATCH] Update(&ps): Revert two line since `cls` shows the same data

---
 src/aig/gia/giaMan.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 413dda726..d0af551b0 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -557,8 +557,6 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
     Abc_Print( 1, "  mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) );
     if ( Gia_ManHasChoices(p) )
         Abc_Print( 1, "  ch =%5d", Gia_ManChoiceNum(p) );
-    if ( Gia_ManHasChoicesOri(p))
-        Abc_Print( 1, "  chOri =%5d", Gia_ManEquivCountClasses(p) );
     if ( p->pManTime )
         Abc_Print( 1, "  box = %d", Gia_ManNonRegBoxNum(p) );
     if ( p->pManTime )