diff options
| -rw-r--r-- | src/sat/bmc/bmcMaj.c | 2 |
1 files changed, 1 insertions, 1 deletions
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" ); } |