summaryrefslogtreecommitdiffstats
path: root/src/sat
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-02-07 22:29:14 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2015-02-07 22:29:14 -0800
commit68467cfff7a90680115cfc41c35b5ea693c74a3b (patch)
tree17a77576b9bcd90490492ecd98ae3b615c0530fe /src/sat
parent55c5c1b58f3f9cd1b534ad11dbec6ba7a7813194 (diff)
downloadabc-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.c6
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;