diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-06 15:48:27 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-06 15:48:27 +0700 |
| commit | 924ec940fe1dbda99d9ff16b94dba9ec56015ca1 (patch) | |
| tree | a7ba25d249f7239a896768bdd154b489aecbf565 /src/base | |
| parent | d66b586330ba6e285fb12a4bc21779d4b88a403f (diff) | |
| download | abc-924ec940fe1dbda99d9ff16b94dba9ec56015ca1.tar.gz abc-924ec940fe1dbda99d9ff16b94dba9ec56015ca1.tar.bz2 abc-924ec940fe1dbda99d9ff16b94dba9ec56015ca1.zip | |
Changes to the matching procedure.
Diffstat (limited to 'src/base')
| -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 d692e5d8..a8bd177f 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -13289,9 +13289,9 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) } if ( pPars->pLutStruct ) { - if ( pPars->nLutSize < 6 || pPars->nLutSize > 11 ) + if ( pPars->nLutSize < 6 || pPars->nLutSize > 16 ) { - Abc_Print( -1, "This feature only works for {6,7,8,9,10,11}-LUTs.\n" ); + Abc_Print( -1, "This feature only works for [6;16]-LUTs.\n" ); return 1; } pPars->pFuncCell = If_CutPerformCheck16; |