1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h
index 35cd3cb4..8a711007 100644
--- a/src/sat/bsat/satVec.h
+++ b/src/sat/bsat/satVec.h
@@ -58,7 +58,7 @@ static inline void   veci_push   (veci* v, int e)
         v->ptr = ABC_REALLOC( int, v->ptr, newsize );
         if ( v->ptr == NULL )
         {
-            printf( "Failed to realloc memory from %.1f Mb to %.1f Mb.\n", 
+            printf( "Failed to realloc memory from %.1f MB to %.1f MB.\n", 
                 1.0 * v->cap / (1<<20), 1.0 * newsize / (1<<20) );
             fflush( stdout );
         }