diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 11:05:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-23 11:05:26 -0700 |
commit | f6eb5262a3176a97f4063f1c49a7d56545fcd53e (patch) | |
tree | e7362b51b8e2f0b07b465be6405cc8ce3d2759ca /src/base/abci | |
parent | c26f7cf331fb22dd8447109ba384358fb73ed148 (diff) | |
download | abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.tar.gz abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.tar.bz2 abc-f6eb5262a3176a97f4063f1c49a7d56545fcd53e.zip |
Experiments with mapping.
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 98bdb647..e1e68e3c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -30407,9 +30407,9 @@ int Abc_CommandAbc9Kf( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Command line switch \"-P\" should be followed by a positive integer.\n" ); goto usage; } - pPars->nProcNumMax = atoi(argv[globalUtilOptind]); + pPars->nProcNum = atoi(argv[globalUtilOptind]); globalUtilOptind++; - if ( pPars->nProcNumMax < 0 ) + if ( pPars->nProcNum < 0 ) goto usage; break; case 'R': |