Commit c48925df by Alan Mishchenko

Commented out a printout line which cases a warning to be printed.

parent 1aeaacc0
......@@ -188,7 +188,7 @@ void Aig_ManInterTest( Aig_Man_t * pMan, int fVerbose )
// Aig_ManPrintStats( pInter );
// Aig_ManDumpBlif( pInter, "int.blif", NULL, NULL );
pInter = Sat_ProofInterpolantTruth( pSat, vVars );
Extra_PrintHex( stdout, pInter, Vec_IntSize(vVars) ); printf( "\n" );
// Extra_PrintHex( stdout, pInter, Vec_IntSize(vVars) ); printf( "\n" );
// clean up
// Aig_ManStop( pInter );
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment