Fixed a typo in variable names.

2 files changed, 19 insertions, 19 deletions

diff --git a/src/bdd/parse/parseCore.c b/src/bdd/parse/parseCore.c
index 497d603c..f451d3aa 100644
--- a/src/bdd/parse/parseCore.c
+++ b/src/bdd/parse/parseCore.c
@@ -24,11 +24,11 @@
     and underscores: For example: 1) a&b <+> c'&d => a + b;   
     2) a1 b2 c3' dummy' + (a2+b2')c3 dummy
  2) Constant values 0 and 1 can be used just like normal variables
- 3) Any boolean operator (listed below) and parantheses can be used
+ 3) Any boolean operator (listed below) and parentheses can be used
     any number of times provided there are equal number of opening
-    and closing parantheses.
+    and closing parentheses.
  4) By default, absence of an operator between vars and before and 
-    after parantheses is taken for AND. 
+    after parentheses is taken for AND. 
  5) Both complementation prefix and complementation suffix can be 
     used at the same time (but who needs this?)
  6) Spaces (tabs, end-of-lines) may be inserted anywhere,
@@ -47,8 +47,8 @@ ABC_NAMESPACE_IMPL_START
 
 
 // the list of operation symbols to be used in expressions
-#define PARSE_SYM_OPEN    '('   // opening paranthesis
-#define PARSE_SYM_CLOSE   ')'   // closing paranthesis
+#define PARSE_SYM_OPEN    '('   // opening parenthesis
+#define PARSE_SYM_CLOSE   ')'   // closing parenthesis
 #define PARSE_SYM_LOWER   '['   // shifts one rank down 
 #define PARSE_SYM_RAISE   ']'   // shifts one rank up
 #define PARSE_SYM_CONST0  '0'   // constant 0
@@ -81,7 +81,7 @@ ABC_NAMESPACE_IMPL_START
 #define PARSE_OPER_EQU  6  // equvalence   (a'b'| ab )
 #define PARSE_OPER_FLR  5  // implication  ( a' | b )
 #define PARSE_OPER_FLL  4  // backward imp ( 'b | a )
-#define PARSE_OPER_MARK 1  // OpStack token standing for an opening paranthesis
+#define PARSE_OPER_MARK 1  // OpStack token standing for an opening parenthesis
 
 // these are values of the internal Flag
 #define PARSE_FLAG_START  1 // after the opening parenthesis 
@@ -133,7 +133,7 @@ DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormulaInit, int nVars, in
         return NULL;
     }
 
-    // make sure that the number of opening and closing parantheses is the same
+    // make sure that the number of opening and closing parentheses is the same
     nParans = 0;
     for ( pTemp = pFormulaInit; *pTemp; pTemp++ )
         if ( *pTemp == '(' )
@@ -142,7 +142,7 @@ DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormulaInit, int nVars, in
             nParans--;
     if ( nParans != 0 )
     {
-        fprintf( pOutput, "Parse_FormulaParser(): Different number of opening and closing parantheses ().\n" );
+        fprintf( pOutput, "Parse_FormulaParser(): Different number of opening and closing parentheses ().\n" );
         return NULL;
     }
 
@@ -326,7 +326,7 @@ DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormulaInit, int nVars, in
                 {
                     if ( Parse_StackOpIsEmpty( pStackOp ) )
                     {
-                        fprintf( pOutput, "Parse_FormulaParser(): There is no opening paranthesis\n" );
+                        fprintf( pOutput, "Parse_FormulaParser(): There is no opening parenthesis\n" );
                         Flag = PARSE_FLAG_ERROR; 
                         break;
                     }
@@ -353,7 +353,7 @@ DdNode * Parse_FormulaParser( FILE * pOutput, char * pFormulaInit, int nVars, in
             }
             else
             {
-                fprintf( pOutput, "Parse_FormulaParser(): There is no opening paranthesis\n" );
+                fprintf( pOutput, "Parse_FormulaParser(): There is no opening parenthesis\n" );
                 Flag = PARSE_FLAG_ERROR; 
                 break;
             }
diff --git a/src/bdd/parse/parseEqn.c b/src/bdd/parse/parseEqn.c
index f6d8b220..ac32e528 100644
--- a/src/bdd/parse/parseEqn.c
+++ b/src/bdd/parse/parseEqn.c
@@ -29,8 +29,8 @@ ABC_NAMESPACE_IMPL_START
 
 
 // the list of operation symbols to be used in expressions
-#define PARSE_EQN_SYM_OPEN    '('   // opening paranthesis
-#define PARSE_EQN_SYM_CLOSE   ')'   // closing paranthesis
+#define PARSE_EQN_SYM_OPEN    '('   // opening parenthesis
+#define PARSE_EQN_SYM_CLOSE   ')'   // closing parenthesis
 #define PARSE_EQN_SYM_CONST0  '0'   // constant 0
 #define PARSE_EQN_SYM_CONST1  '1'   // constant 1
 #define PARSE_EQN_SYM_NEG     '!'   // negation before the variable
@@ -41,7 +41,7 @@ ABC_NAMESPACE_IMPL_START
 #define PARSE_EQN_OPER_NEG    10    // negation
 #define PARSE_EQN_OPER_AND     9    // logic AND
 #define PARSE_EQN_OPER_OR      7    // logic OR
-#define PARSE_EQN_OPER_MARK    1    // OpStack token standing for an opening paranthesis
+#define PARSE_EQN_OPER_MARK    1    // OpStack token standing for an opening parenthesis
 
 // these are values of the internal Flag
 #define PARSE_EQN_FLAG_START   1    // after the opening parenthesis 
@@ -80,7 +80,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
     int Oper, Oper1, Oper2;
     int i, v;
 
-    // make sure that the number of opening and closing parantheses is the same
+    // make sure that the number of opening and closing parentheses is the same
     nParans = 0;
     for ( pTemp = pFormInit; *pTemp; pTemp++ )
         if ( *pTemp == '(' )
@@ -89,7 +89,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
             nParans--;
     if ( nParans != 0 )
     {
-        fprintf( pOutput, "Parse_FormulaParserEqn(): Different number of opening and closing parantheses ().\n" );
+        fprintf( pOutput, "Parse_FormulaParserEqn(): Different number of opening and closing parentheses ().\n" );
         return NULL;
     }
 
@@ -158,7 +158,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
             if ( Flag == PARSE_EQN_FLAG_VAR )
             {
 //                Parse_StackOpPush( pStackOp, PARSE_EQN_OPER_AND );
-                fprintf( pOutput, "Parse_FormulaParserEqn(): An opening paranthesis follows a var without operation sign.\n" ); 
+                fprintf( pOutput, "Parse_FormulaParserEqn(): An opening parenthesis follows a var without operation sign.\n" ); 
                 Flag = PARSE_EQN_FLAG_ERROR; 
                 break; 
             }
@@ -173,7 +173,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
                 {
                     if ( Parse_StackOpIsEmpty( pStackOp ) )
                     {
-                        fprintf( pOutput, "Parse_FormulaParserEqn(): There is no opening paranthesis\n" );
+                        fprintf( pOutput, "Parse_FormulaParserEqn(): There is no opening parenthesis\n" );
                         Flag = PARSE_EQN_FLAG_ERROR; 
                         break;
                     }
@@ -194,7 +194,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
             }
             else
             {
-                fprintf( pOutput, "Parse_FormulaParserEqn(): There is no opening paranthesis\n" );
+                fprintf( pOutput, "Parse_FormulaParserEqn(): There is no opening parenthesis\n" );
                 Flag = PARSE_EQN_FLAG_ERROR; 
                 break;
             }
@@ -211,7 +211,7 @@ Hop_Obj_t * Parse_FormulaParserEqn( FILE * pOutput, char * pFormInit, Vec_Ptr_t
               {
                     if ( pTemp[i] == PARSE_EQN_SYM_NEG || pTemp[i] == PARSE_EQN_SYM_OPEN )
                     {
-                        fprintf( pOutput, "Parse_FormulaParserEqn(): The negation sign or an opening paranthesis inside the variable name.\n" );
+                        fprintf( pOutput, "Parse_FormulaParserEqn(): The negation sign or an opening parenthesis inside the variable name.\n" );
                         Flag = PARSE_EQN_FLAG_ERROR; 
                         break;
                     }