From af0ac88266d83db084683fb5d509936ca45e1aff Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 8 Aug 2022 16:43:30 -0700 Subject: Improvements to command 'twoexact'. --- src/sat/bmc/bmcMaj.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/bmc/bmcMaj.c b/src/sat/bmc/bmcMaj.c index 5dda943f..d408c702 100644 --- a/src/sat/bmc/bmcMaj.c +++ b/src/sat/bmc/bmcMaj.c @@ -1480,7 +1480,7 @@ void Exa_ManIsNormalized( Vec_Wrd_t * vSimsIn, Vec_Wrd_t * vSimsOut ) if ( Count ) printf( "The data for %d divisors are not normalized.\n", Count ); if ( !(Vec_WrdEntry(vSimsOut, 0) & 1) ) - printf( "The data for the outputs is not normalized.\n", Count ); + printf( "The output data is not normalized.\n" ); // else if ( Count == 0 ) // printf( "The data is fully normalized.\n" ); } -- cgit v1.2.3