diff options
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/base/abci/module.make | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 24301ac3..aa5dedad 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -844,7 +844,7 @@ int Abc_CommandPrintSymms( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: fprintf( pErr, "usage: print_symm [-nbvh]\n" ); fprintf( pErr, "\t computes symmetries of the PO functions\n" ); - fprintf( pErr, "\t-b : toggle BDD-based or SAT-based computations [default = %s].\n", fUseBdds? "bdd": "sat" ); + fprintf( pErr, "\t-b : toggle BDD-based or SAT-based computations [default = %s].\n", fUseBdds? "BDD": "SAT" ); fprintf( pErr, "\t-n : enable naive BDD-based computation [default = %s].\n", fNaive? "yes": "no" ); fprintf( pErr, "\t-v : enable verbose output [default = %s].\n", fVerbose? "yes": "no" ); fprintf( pErr, "\t-h : print the command usage\n"); diff --git a/src/base/abci/module.make b/src/base/abci/module.make index 4466cf99..660aee63 100644 --- a/src/base/abci/module.make +++ b/src/base/abci/module.make @@ -23,4 +23,5 @@ SRC += src/base/abci/abc.c \ src/base/abci/abcTiming.c \ src/base/abci/abcUnreach.c \ src/base/abci/abcVanEijk.c \ + src/base/abci/abcVanImp.c \ src/base/abci/abcVerify.c |