Typo in the comments.

30cfee7d · Alan Mishchenko · ca4145c7 · 30cfee7d
Commit 30cfee7d authored Apr 19, 2013 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/opt/fxu/fxuReduce.c
+1 -1

No files found.
--- a/src/opt/fxu/fxuReduce.c
+++ b/src/opt/fxu/fxuReduce.c
@@ -97,7 +97,7 @@ int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTota
    {
        ABC_FREE( pnLitsDiff );
        ABC_FREE( pnPairCounters );
-        printf( "The SOPs of the nodes are not cube-free. Run \"bdd; sop\" before \"fx\".\n" );
+        printf( "The SOPs of the nodes contain duplicated cubes. Run \"bdd; sop\" before \"fx\".\n" );
        return 0;
    }
    if ( pnPairCounters[1] != 0 )