diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 18:05:51 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 18:05:51 -0700 |
commit | 2edf2a970ee3663ef0725f22972a10083ed81fbf (patch) | |
tree | 2402fa5950e37128a19d279a52cffdd4613cfa52 /src/base/io/io.c | |
parent | f79d8e4b0443bda2249735e34545ed2197cbe5ea (diff) | |
download | abc-2edf2a970ee3663ef0725f22972a10083ed81fbf.tar.gz abc-2edf2a970ee3663ef0725f22972a10083ed81fbf.tar.bz2 abc-2edf2a970ee3663ef0725f22972a10083ed81fbf.zip |
Improvements to power-aware mapping.
Diffstat (limited to 'src/base/io/io.c')
-rw-r--r-- | src/base/io/io.c | 2 |
1 files changed, 1 insertions, 1 deletions
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] <file>\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" ); |