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/sat | |
| 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/sat')
| -rw-r--r-- | src/sat/bmc/bmcFault.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c index 3e3e6ce9..7a2a57fb 100644 --- a/src/sat/bmc/bmcFault.c +++ b/src/sat/bmc/bmcFault.c @@ -384,12 +384,12 @@ int Gia_FormStrCount( char * pStr, int * pnVars, int * pnPars ) int i, Counter = 0; if ( pStr[0] != '(' ) { - printf( "The first symbol should be the opening paranthesis \"(\".\n" ); + printf( "The first symbol should be the opening parenthesis \"(\".\n" ); return 1; } if ( pStr[strlen(pStr)-1] != ')' ) { - printf( "The last symbol should be the closing paranthesis \")\".\n" ); + printf( "The last symbol should be the closing parenthesis \")\".\n" ); return 1; } for ( i = 0; pStr[i]; i++ ) @@ -399,7 +399,7 @@ int Gia_FormStrCount( char * pStr, int * pnVars, int * pnPars ) Counter--; if ( Counter != 0 ) { - printf( "The number of opening and closing parantheses is not equal.\n" ); + printf( "The number of opening and closing parentheses is not equal.\n" ); return 1; } *pnVars = 0; |