1 files changed, 5 insertions, 0 deletions
diff --git a/src/opt/cut/cutPre22.c b/src/opt/cut/cutPre22.c
index dd52b694..693978d6 100644
--- a/src/opt/cut/cutPre22.c
+++ b/src/opt/cut/cutPre22.c
@@ -203,6 +203,11 @@ void Cut_CellLoad()
 */
         // add to the table
         p->nTotal++;
+
+//        Extra_PrintHexadecimal( stdout, pCell->uTruth, pCell->nVars ); printf( "\n" );
+//        if ( p->nTotal == 500 )
+//            break;
+
         if ( !Cut_CellTableLookup( p, pCell ) ) // new cell
             p->nGood++;
     }