From 68467cfff7a90680115cfc41c35b5ea693c74a3b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 7 Feb 2015 22:29:14 -0800 Subject: Fixed a typo in variable names. --- src/sat/bmc/bmcFault.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/sat/bmc/bmcFault.c') 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; -- cgit v1.2.3