From 30cfee7d1971dce04f70ced150c02a33f91e5fd8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 19 Apr 2013 11:41:18 -0700 Subject: Typo in the comments. --- src/opt/fxu/fxuReduce.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 ) -- cgit v1.2.3