diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-22 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-22 08:01:00 -0700 |
| commit | d01b1a0eee0ff49d18d8235f533fbb214c61d28a (patch) | |
| tree | c302704cbd93586db8ab6398d50189b50b4e32c3 /src/map/mapper/mapperCreate.c | |
| parent | 0e4de190ff4e25f5904a571b79a225363d5fc369 (diff) | |
| download | abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.tar.gz abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.tar.bz2 abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.zip | |
Version abc50822
Diffstat (limited to 'src/map/mapper/mapperCreate.c')
| -rw-r--r-- | src/map/mapper/mapperCreate.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapperCreate.c b/src/map/mapper/mapperCreate.c index dc056f34..738d099c 100644 --- a/src/map/mapper/mapperCreate.c +++ b/src/map/mapper/mapperCreate.c @@ -197,7 +197,7 @@ Map_Man_t * Map_ManCreate( int nInputs, int nOutputs, int fVerbose ) assert( p->nVarsMax > 0 ); if ( p->nVarsMax == 5 ) - Extra_Truth4VarN( &p->uCanons, &p->uPhases, &p->pCounters, 16 ); + Extra_Truth4VarN( &p->uCanons, &p->uPhases, &p->pCounters, 8 ); // start various data structures Map_TableCreate( p ); |