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/if/ifTune.c | |
| 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/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index 1f5b13c8..8b7e9d1c 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -233,7 +233,7 @@ int Ifn_ManStrCheck( char * pStr, int * pnInps, int * pnObjs ) *pnObjs = MaxVar + 1 + nNodes; return 1; } -static inline char * Ifn_NtkParseFindClosingParanthesis( char * pStr, char Open, char Close ) +static inline char * Ifn_NtkParseFindClosingParenthesis( char * pStr, char Open, char Close ) { int Counter = 0; assert( *pStr == Open ); @@ -253,7 +253,7 @@ int Ifn_NtkParseInt_rec( char * pStr, Ifn_Ntk_t * p, char ** ppFinal, int * piNo Ifn_Obj_t * pObj; int nFanins = 0, pFanins[IFN_INS]; int Type = Inf_ManOpenSymb( pStr ); - char * pLim = Ifn_NtkParseFindClosingParanthesis( pStr++, Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] ); + char * pLim = Ifn_NtkParseFindClosingParenthesis( pStr++, Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] ); *ppFinal = NULL; if ( pLim == NULL ) return Ifn_ErrorMessage( "For symbol \'%c\' cannot find matching symbol \'%c\'.\n", Ifn_Symbs[Type][0], Ifn_Symbs[Type][1] ); |