From 2edf2a970ee3663ef0725f22972a10083ed81fbf Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 23 Jun 2014 18:05:51 -0700 Subject: Improvements to power-aware mapping. --- src/base/io/io.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/io/io.c') diff --git a/src/base/io/io.c b/src/base/io/io.c index eb8a7f9f..257acc30 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1914,7 +1914,7 @@ int IoCommandWriteCnf( Abc_Frame_t * pAbc, int argc, char **argv ) usage: fprintf( pAbc->Err, "usage: write_cnf [-nfpcvh] \n" ); - fprintf( pAbc->Err, "\t generated CNF for the miter (see also \"&write_cnf\")\n" ); + fprintf( pAbc->Err, "\t generates CNF for the miter (see also \"&write_cnf\")\n" ); fprintf( pAbc->Err, "\t-n : toggle using new algorithm [default = %s]\n", fNewAlgo? "yes" : "no" ); fprintf( pAbc->Err, "\t-f : toggle using fast algorithm [default = %s]\n", fFastAlgo? "yes" : "no" ); fprintf( pAbc->Err, "\t-p : toggle using all primes to enhance implicativity [default = %s]\n", fAllPrimes? "yes" : "no" ); -- cgit v1.2.3