From 6610f1c78e3bf1d0abdf6043946e9f504faabba5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 May 2013 17:16:09 -0700 Subject: Preprocessing SOPs given to 'fx' to be D1C-free and SCC-free. Handling the case of non-prime SOPs. --- src/base/abc/abcFanOrder.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abc/abcFanOrder.c b/src/base/abc/abcFanOrder.c index bdeb6d87..31b710c2 100644 --- a/src/base/abc/abcFanOrder.c +++ b/src/base/abc/abcFanOrder.c @@ -466,7 +466,7 @@ int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ) Abc_NtkForEachNode( pNtk, pNode, i ) Counter += Abc_NodeMakeLegit( pNode ); if ( Counter ) - Abc_Print( 1, "%d nodes were made dist1-cube-free and/or single-cube-containment-free.\n", Counter ); + Abc_Print( 0, "%d nodes were made dist1-cube-free and/or single-cube-containment-free.\n", Counter ); return 1; } -- cgit v1.2.3