diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-19 11:41:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-19 11:41:18 -0700 |
| commit | 30cfee7d1971dce04f70ced150c02a33f91e5fd8 (patch) | |
| tree | 2c01b7535328e93c4c9f3fafb6fb2bda11902483 /src/opt/fxu | |
| parent | ca4145c7ef07122878cfa4e63040bda7eb19c969 (diff) | |
| download | abc-30cfee7d1971dce04f70ced150c02a33f91e5fd8.tar.gz abc-30cfee7d1971dce04f70ced150c02a33f91e5fd8.tar.bz2 abc-30cfee7d1971dce04f70ced150c02a33f91e5fd8.zip | |
Typo in the comments.
Diffstat (limited to 'src/opt/fxu')
| -rw-r--r-- | src/opt/fxu/fxuReduce.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/fxu/fxuReduce.c b/src/opt/fxu/fxuReduce.c index 0aaded9a..1e553d8d 100644 --- 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 ) |