diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:29:14 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-07 22:29:14 -0800 |
| commit | 68467cfff7a90680115cfc41c35b5ea693c74a3b (patch) | |
| tree | 17a77576b9bcd90490492ecd98ae3b615c0530fe /src/map/mapper | |
| parent | 55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194 (diff) | |
| download | abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.tar.gz abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.tar.bz2 abc-68467cfff7a90680115cfc41c35b5ea693c74a3b.zip | |
Fixed a typo in variable names.
Diffstat (limited to 'src/map/mapper')
| -rw-r--r-- | src/map/mapper/mapperSuper.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/mapper/mapperSuper.c b/src/map/mapper/mapperSuper.c index 9382575a..0c33d580 100644 --- a/src/map/mapper/mapperSuper.c +++ b/src/map/mapper/mapperSuper.c @@ -149,7 +149,7 @@ int Map_LibraryReadFile( Map_SuperLib_t * pLib, FILE * pFile ) // get the gate pGate = Map_LibraryReadGate( pLib, pTemp, pLib->nVarsMax ); assert( pGate->Num == nCounter + 1 ); - // count the number of parantheses in the formula - this is the number of gates + // count the number of parentheses in the formula - this is the number of gates for ( pTemp = pGate->pFormula; *pTemp; pTemp++ ) pGate->nGates += (*pTemp == '('); // verify the truth table @@ -261,7 +261,7 @@ char * Map_LibraryReadFormulaStep( char * pFormula, char * pStrings[], int * pnS // skip leading spaces for ( pName = pFormula; *pName && *pName == ' '; pName++ ); assert( *pName ); - // find the first opening paranthesis + // find the first opening parenthesis for ( pPar1 = pName; *pPar1 && *pPar1 != '('; pPar1++ ); if ( *pPar1 == 0 ) { @@ -271,7 +271,7 @@ char * Map_LibraryReadFormulaStep( char * pFormula, char * pStrings[], int * pnS // overwrite it with space assert( *pPar1 == '(' ); *pPar1 = 0; - // find the corresponding closing paranthesis + // find the corresponding closing parenthesis for ( CountPars = 1, pPar2 = pPar1 + 1; *pPar2 && CountPars; pPar2++ ) if ( *pPar2 == '(' ) CountPars++; |