Fixed a typo in variable names.

11 files changed, 51 insertions, 51 deletions

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 6992edcf..fce7c6dd 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -36329,7 +36329,7 @@ usage:
     Abc_Print( -2, "\t            Functional variables: {a,b} (both a and b are always present)\n");
     Abc_Print( -2, "\t            Parameter variables: {p,q,r,s,t,u,v,w} (any number from 1 to 8)\n");
     Abc_Print( -2, "\t            Boolean operators: AND(&), OR(|), XOR(^), MUX(?:), NOT(~)\n");
-    Abc_Print( -2, "\t            Parantheses should be used around each operator. Spaces not allowed.\n");
+    Abc_Print( -2, "\t            Parentheses should be used around each operator. Spaces not allowed.\n");
     Abc_Print( -2, "\t            Complement (~) is only allowed before variables (use DeMorgan law).\n");
     Abc_Print( -2, "\t            Examples:\n");
     Abc_Print( -2, "\t              (((a&b)&~p)|q)        stuck-at-0/1 at the output\n");
diff --git a/src/base/io/io.c b/src/base/io/io.c
index bf01c7b5..41b08e68 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -706,7 +706,7 @@ usage:
     fprintf( pAbc->Err, "\t          (in this case CA=11001010 is truth table of MUX(Data0,Data1,Ctrl))\n" );
     fprintf( pAbc->Err, "\t          The lower chars (a,b,c,etc) are reserved for elementary variables.\n" );
     fprintf( pAbc->Err, "\t          The upper chars (A,B,C,etc) are reserved for hexadecimal digits.\n" );
-    fprintf( pAbc->Err, "\t          No spaces are allowed in formulas. In parantheses, LSB goes first.\n" );
+    fprintf( pAbc->Err, "\t          No spaces are allowed in formulas. In parentheses, LSB goes first.\n" );
     return 1;
 }
 
diff --git a/src/base/io/ioReadDsd.c b/src/base/io/ioReadDsd.c
index 514c664a..09845699 100644
--- a/src/base/io/ioReadDsd.c
+++ b/src/base/io/ioReadDsd.c
@@ -90,17 +90,17 @@ int Io_ReadDsdStrSplit( char * pCur, char * pParts[], int * pTypeXor )
             // skip hex truth table
             while ( (*pCur >= '0' && *pCur <= '9') || (*pCur >= 'A' && *pCur <= 'F') )
                 pCur++;
-            // process parantheses
+            // process parentheses
             if ( *pCur != '(' )
             {
-                printf( "Cannot find the opening paranthesis.\n" );
+                printf( "Cannot find the opening parenthesis.\n" );
                 break;
             }
-            // find the corresponding closing paranthesis
+            // find the corresponding closing parenthesis
             pCur = Io_ReadDsdFindEnd( pCur );
             if ( pCur == NULL )
             {
-                printf( "Cannot find the closing paranthesis.\n" );
+                printf( "Cannot find the closing parenthesis.\n" );
                 break;
             }
             pCur++;
@@ -254,7 +254,7 @@ Abc_Ntk_t * Io_ReadDsd( char * pForm )
         Abc_ObjAssignName( Abc_NtkCreatePi(pNtk), (char *)Vec_PtrEntry(vNames, i), NULL );
     Abc_NodeFreeNames( vNames );
 
-    // transform the formula by inserting parantheses
+    // transform the formula by inserting parentheses
     // this transforms strings like PRIME(a,b,cd) into (PRIME((a),(b),(cd)))
     pCur = pFormCopy = ABC_ALLOC( char, 3 * strlen(pForm) + 10 );
     *pCur++ = '(';
diff --git a/src/base/io/ioWriteBench.c b/src/base/io/ioWriteBench.c
index 4ca1ac0a..81d64582 100644
--- a/src/base/io/ioWriteBench.c
+++ b/src/base/io/ioWriteBench.c
@@ -57,7 +57,7 @@ int Io_WriteBench( Abc_Ntk_t * pNtk, const char * pFileName )
     assert( Abc_NtkIsSopNetlist(pNtk) );
     if ( !Io_WriteBenchCheckNames(pNtk) )
     {
-        fprintf( stdout, "Io_WriteBench(): Signal names in this benchmark contain parantheses making them impossible to reproduce in the BENCH format. Use \"short_names\".\n" );
+        fprintf( stdout, "Io_WriteBench(): Signal names in this benchmark contain parentheses making them impossible to reproduce in the BENCH format. Use \"short_names\".\n" );
         return 0;
     }
     pFile = fopen( pFileName, "w" );
@@ -179,7 +179,7 @@ int Io_WriteBenchLut( Abc_Ntk_t * pNtk, char * pFileName )
     assert( Abc_NtkIsAigNetlist(pNtk) );
     if ( !Io_WriteBenchCheckNames(pNtk) )
     {
-        fprintf( stdout, "Io_WriteBenchLut(): Signal names in this benchmark contain parantheses making them impossible to reproduce in the BENCH format. Use \"short_names\".\n" );
+        fprintf( stdout, "Io_WriteBenchLut(): Signal names in this benchmark contain parentheses making them impossible to reproduce in the BENCH format. Use \"short_names\".\n" );
         return 0;
     }
     pFile = fopen( pFileName, "w" );
diff --git a/src/base/io/ioWriteEqn.c b/src/base/io/ioWriteEqn.c
index d3784187..fb8ca43e 100644
--- a/src/base/io/ioWriteEqn.c
+++ b/src/base/io/ioWriteEqn.c
@@ -219,7 +219,7 @@ int Io_NtkWriteEqnCheck( Abc_Ntk_t * pNtk )
     int i, k, Length;
     int RetValue = 1;
 
-    // make sure the network does not have proper names, such as "0" or "1" or containing parantheses
+    // make sure the network does not have proper names, such as "0" or "1" or containing parentheses
     Abc_NtkForEachObj( pNtk, pObj, i )
     {
         pName = Nm_ManFindNameById(pNtk->pManName, i);
diff --git a/src/base/io/ioWriteList.c b/src/base/io/ioWriteList.c
index 22d0d1af..9e0ac88e 100644
--- a/src/base/io/ioWriteList.c
+++ b/src/base/io/ioWriteList.c
@@ -38,7 +38,7 @@ used it in order to reason on relatively small weighed direct graphs. I
 simply list all vertices, one per line and for each vertex "V_source" I
 list all vertices that are "sinks" with respect to it, i.e. such that
 there is a distinct arc between "V_source" and each of them (in
-paranthesis I list the name of the edge and its weight (number of latency
+parenthesis I list the name of the edge and its weight (number of latency
 on that path). For instance, if you look at the following graph, you have
 that vertex "v_5" is connected to vertex "v_6" through a directed arc
 called "v_5_to_v_6" whose latency is equal to 3, i.e. there are three
diff --git a/src/base/io/ioWriteSmv.c b/src/base/io/ioWriteSmv.c
index c767bcaa..5cb82da8 100644
--- a/src/base/io/ioWriteSmv.c
+++ b/src/base/io/ioWriteSmv.c
@@ -75,7 +75,7 @@ int Io_WriteSmv( Abc_Ntk_t * pNtk, char * pFileName )
     assert( Abc_NtkIsSopNetlist(pNtk) );
     if ( !Io_WriteSmvCheckNames(pNtk) )
     {
-        fprintf( stdout, "Io_WriteSmv(): Signal names in this benchmark contain parantheses making them impossible to reproduce in the SMV format. Use \"short_names\".\n" );
+        fprintf( stdout, "Io_WriteSmv(): Signal names in this benchmark contain parentheses making them impossible to reproduce in the SMV format. Use \"short_names\".\n" );
         return 0;
     }
     pFile = fopen( pFileName, "w" );
diff --git a/src/base/ver/verCore.c b/src/base/ver/verCore.c
index 1ac576aa..8ffad68b 100644
--- a/src/base/ver/verCore.c
+++ b/src/base/ver/verCore.c
@@ -412,7 +412,7 @@ int Ver_ParseModule( Ver_Man_t * pMan )
     // get the network with this name
     pNtk = Ver_ParseFindOrCreateNetwork( pMan, pWord );
 
-    // make sure we stopped at the opening paranthesis
+    // make sure we stopped at the opening parenthesis
     if ( Ver_StreamPopChar(p) != '(' )
     {
         sprintf( pMan->sError, "Cannot find \"(\" after \"module\" in network %s.", pNtk->pName );
@@ -420,7 +420,7 @@ int Ver_ParseModule( Ver_Man_t * pMan )
         return 0;
     }
 
-    // skip to the end of parantheses
+    // skip to the end of parentheses
     do {
         if ( Ver_ParseGetName( pMan ) == NULL )
             return 0;
@@ -432,7 +432,7 @@ int Ver_ParseModule( Ver_Man_t * pMan )
     Symbol = Ver_StreamPopChar(p);
     if ( Symbol != ';' )
     {
-        sprintf( pMan->sError, "Expected closing paranthesis after \"module\"." );
+        sprintf( pMan->sError, "Expected closing parenthesis after \"module\"." );
         Ver_ParsePrintErrorMessage( pMan );
         return 0;
     }
@@ -654,7 +654,7 @@ int Ver_ParseSignalPrefix( Ver_Man_t * pMan, char ** ppWord, int * pnMsb, int *
     {
         assert( *pWord == ':' );
         nLsb = atoi( pWord + 1 );
-        // find the closing paranthesis
+        // find the closing parenthesis
         while ( *pWord && *pWord != ']' )
             pWord++;
         if ( *pWord == 0 )
@@ -1340,7 +1340,7 @@ int Ver_ParseGateStandard( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_GateType_t Ga
     // this is gate name - throw it away
     if ( Ver_StreamPopChar(p) != '(' )
     {
-        sprintf( pMan->sError, "Cannot parse a standard gate (expected opening paranthesis)." );
+        sprintf( pMan->sError, "Cannot parse a standard gate (expected opening parenthesis)." );
         Ver_ParsePrintErrorMessage( pMan );
         return 0;
     }
@@ -1377,7 +1377,7 @@ int Ver_ParseGateStandard( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Ver_GateType_t Ga
         // skip comma
         if ( Symbol != ',' )
         {
-            sprintf( pMan->sError, "Cannot parse a standard gate %s (expected closing paranthesis).", Abc_ObjName(Abc_ObjFanout0(pNode)) );
+            sprintf( pMan->sError, "Cannot parse a standard gate %s (expected closing parenthesis).", Abc_ObjName(Abc_ObjFanout0(pNode)) );
             Ver_ParsePrintErrorMessage( pMan );
             return 0;
         }
@@ -1436,7 +1436,7 @@ int Ver_ParseFlopStandard( Ver_Man_t * pMan, Abc_Ntk_t * pNtk )
     // this is gate name - throw it away
     if ( Ver_StreamPopChar(p) != '(' )
     {
-        sprintf( pMan->sError, "Cannot parse a standard gate (expected opening paranthesis)." );
+        sprintf( pMan->sError, "Cannot parse a standard gate (expected opening parenthesis)." );
         Ver_ParsePrintErrorMessage( pMan );
         return 0;
     }
@@ -1573,7 +1573,7 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Mio_Gate_t * pGate )
     // this is gate name - throw it away
     if ( Ver_StreamPopChar(p) != '(' )
     {
-        sprintf( pMan->sError, "Cannot parse gate %s (expected opening paranthesis).", Mio_GateReadName(pGate) );
+        sprintf( pMan->sError, "Cannot parse gate %s (expected opening parenthesis).", Mio_GateReadName(pGate) );
         Ver_ParsePrintErrorMessage( pMan );
         return 0;
     }
@@ -1613,10 +1613,10 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Mio_Gate_t * pGate )
             return 0;
         }
 
-        // open the paranthesis
+        // open the parenthesis
         if ( Ver_StreamPopChar(p) != '(' )
         {
-            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected opening paranthesis).", pWord, Mio_GateReadName(pGate) );
+            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected opening parenthesis).", pWord, Mio_GateReadName(pGate) );
             Ver_ParsePrintErrorMessage( pMan );
             return 0;
         }
@@ -1646,10 +1646,10 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Mio_Gate_t * pGate )
             return 0;
         }
 
-        // close the paranthesis
+        // close the parenthesis
         if ( Ver_StreamPopChar(p) != ')' )
         {
-            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected closing paranthesis).", pWord, Mio_GateReadName(pGate) );
+            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected closing parenthesis).", pWord, Mio_GateReadName(pGate) );
             Ver_ParsePrintErrorMessage( pMan );
             return 0;
         }
@@ -1678,7 +1678,7 @@ int Ver_ParseGate( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Mio_Gate_t * pGate )
         // skip comma
         if ( Symbol != ',' )
         {
-            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected closing paranthesis).", pWord, Mio_GateReadName(pGate) );
+            sprintf( pMan->sError, "Cannot formal parameter %s of gate %s (expected closing parenthesis).", pWord, Mio_GateReadName(pGate) );
             Ver_ParsePrintErrorMessage( pMan );
             return 0;
         }
@@ -1754,7 +1754,7 @@ int Ver_ParseBox( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkBox )
     // continue parsing the box
     if ( Ver_StreamPopChar(p) != '(' )
     {
-        sprintf( pMan->sError, "Cannot parse box %s (expected opening paranthesis).", Abc_ObjName(pNode) );
+        sprintf( pMan->sError, "Cannot parse box %s (expected opening parenthesis).", Abc_ObjName(pNode) );
         Ver_ParsePrintErrorMessage( pMan );
         return 0;
     }
@@ -1791,10 +1791,10 @@ int Ver_ParseBox( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkBox )
             // save the name
             pBundle->pNameFormal = Extra_UtilStrsav( pWord );
 
-            // open the paranthesis
+            // open the parenthesis
             if ( Ver_StreamPopChar(p) != '(' )
             {
-                sprintf( pMan->sError, "Cannot formal parameter %s of box %s (expected opening paranthesis).", pWord, Abc_ObjName(pNode));
+                sprintf( pMan->sError, "Cannot formal parameter %s of box %s (expected opening parenthesis).", pWord, Abc_ObjName(pNode));
                 Ver_ParsePrintErrorMessage( pMan );
                 return 0;
             }
@@ -2002,11 +2002,11 @@ int Ver_ParseBox( Ver_Man_t * pMan, Abc_Ntk_t * pNtk, Abc_Ntk_t * pNtkBox )
 
         if ( fFormalIsGiven )
         {
-            // close the paranthesis
+            // close the parenthesis
             Ver_ParseSkipComments( pMan );
             if ( Ver_StreamPopChar(p) != ')' )
             {
-                sprintf( pMan->sError, "Cannot parse formal parameter %s of box %s (expected closing paranthesis).", pWord, Abc_ObjName(pNode) );
+                sprintf( pMan->sError, "Cannot parse formal parameter %s of box %s (expected closing parenthesis).", pWord, Abc_ObjName(pNode) );
                 Ver_ParsePrintErrorMessage( pMan );
                 return 0;
             }
@@ -2179,7 +2179,7 @@ int Ver_ParseConnectBox( Ver_Man_t * pMan, Abc_Obj_t * pBox )
             if ( !strcmp(pBundle->pNameFormal, pNameFormal) )
                 break;
         assert( pBundle != NULL );
-        // if the bundle is not found, try without parantheses
+        // if the bundle is not found, try without parentheses
         if ( k == Vec_PtrSize(vBundles) )
         {
             pBundle = NULL;
@@ -2230,7 +2230,7 @@ int Ver_ParseConnectBox( Ver_Man_t * pMan, Abc_Obj_t * pBox )
             if ( !strcmp(pBundle->pNameFormal, pNameFormal) )
                 break;
         assert( pBundle != NULL );
-        // if the name is not found, try without parantheses
+        // if the name is not found, try without parentheses
         if ( k == Vec_PtrSize(vBundles) )
         {
             pBundle = NULL;
diff --git a/src/base/ver/verFormula.c b/src/base/ver/verFormula.c
index bf34b00f..aef62272 100644
--- a/src/base/ver/verFormula.c
+++ b/src/base/ver/verFormula.c
@@ -28,8 +28,8 @@ ABC_NAMESPACE_IMPL_START
 ////////////////////////////////////////////////////////////////////////
 
 // the list of operation symbols to be used in expressions
-#define VER_PARSE_SYM_OPEN    '('   // opening paranthesis
-#define VER_PARSE_SYM_CLOSE   ')'   // closing paranthesis
+#define VER_PARSE_SYM_OPEN    '('   // opening parenthesis
+#define VER_PARSE_SYM_CLOSE   ')'   // closing parenthesis
 #define VER_PARSE_SYM_CONST0  '0'   // constant 0
 #define VER_PARSE_SYM_CONST1  '1'   // constant 1
 #define VER_PARSE_SYM_NEGBEF1 '!'   // negation before the variable
@@ -47,7 +47,7 @@ ABC_NAMESPACE_IMPL_START
 #define VER_PARSE_OPER_OR      4    // logic OR
 #define VER_PARSE_OPER_EQU     3    // equvalence   (a'b'| ab )
 #define VER_PARSE_OPER_MUX     2    // MUX(a,b,c)   (ab | a'c )
-#define VER_PARSE_OPER_MARK    1    // OpStack token standing for an opening paranthesis
+#define VER_PARSE_OPER_MARK    1    // OpStack token standing for an opening parenthesis
 
 // these are values of the internal Flag
 #define VER_PARSE_FLAG_START   1    // after the opening parenthesis 
@@ -91,7 +91,7 @@ void * Ver_FormulaParser( char * pFormula, void * pMan, Vec_Ptr_t * vNames, Vec_
     if ( !strcmp(pFormula, "1") || !strcmp(pFormula, "1\'b1") )
         return Hop_ManConst1((Hop_Man_t *)pMan);
 
-    // 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 = pFormula; *pTemp; pTemp++ )
         if ( *pTemp == '(' )
@@ -100,11 +100,11 @@ void * Ver_FormulaParser( char * pFormula, void * pMan, Vec_Ptr_t * vNames, Vec_
             nParans--;
     if ( nParans != 0 )
     {
-        sprintf( pErrorMessage, "Parse_FormulaParser(): Different number of opening and closing parantheses ()." );
+        sprintf( pErrorMessage, "Parse_FormulaParser(): Different number of opening and closing parentheses ()." );
         return NULL;
     }
  
-    // add parantheses
+    // add parentheses
     pTemp = pFormula + strlen(pFormula) + 2;
     *pTemp-- = 0; *pTemp = ')';
     while ( --pTemp != pFormula )
@@ -186,7 +186,7 @@ void * Ver_FormulaParser( char * pFormula, void * pMan, Vec_Ptr_t * vNames, Vec_
         case VER_PARSE_SYM_OPEN:
             if ( Flag == VER_PARSE_FLAG_VAR )
             {
-                sprintf( pErrorMessage, "Parse_FormulaParser(): Variable before a paranthesis." );
+                sprintf( pErrorMessage, "Parse_FormulaParser(): Variable before a parenthesis." );
                 Flag = VER_PARSE_FLAG_ERROR; 
                 break;
             }
@@ -202,7 +202,7 @@ void * Ver_FormulaParser( char * pFormula, void * pMan, Vec_Ptr_t * vNames, Vec_
                 {
                     if ( !Vec_IntSize( vStackOp ) )
                     {
-                        sprintf( pErrorMessage, "Parse_FormulaParser(): There is no opening paranthesis\n" );
+                        sprintf( pErrorMessage, "Parse_FormulaParser(): There is no opening parenthesis\n" );
                         Flag = VER_PARSE_FLAG_ERROR; 
                         break;
                     }
@@ -226,7 +226,7 @@ void * Ver_FormulaParser( char * pFormula, void * pMan, Vec_Ptr_t * vNames, Vec_
             }
             else
             {
-                sprintf( pErrorMessage, "Parse_FormulaParser(): There is no opening paranthesis\n" );
+                sprintf( pErrorMessage, "Parse_FormulaParser(): There is no opening parenthesis\n" );
                 Flag = VER_PARSE_FLAG_ERROR; 
                 break;
             }
diff --git a/src/base/ver/verStream.c b/src/base/ver/verStream.c
index 0d16e74d..59706311 100644
--- a/src/base/ver/verStream.c
+++ b/src/base/ver/verStream.c
@@ -48,7 +48,7 @@ struct Ver_Stream_t_
     char *           pBufferEnd;    // the first position not used by currently loaded data
     char *           pBufferStop;   // the position where loading new data will be done
     // tokens given to the user
-    char             pChars[VER_WORD_SIZE+5]; // temporary storage for a word (plus end-of-string and two parantheses)
+    char             pChars[VER_WORD_SIZE+5]; // temporary storage for a word (plus end-of-string and two parentheses)
     int              nChars;        // the total number of characters in the word
     // status of the parser
     int              fStop;         // this flag goes high when the end of file is reached
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c
index 11d14395..1bcb2517 100644
--- a/src/base/wlc/wlcReadVer.c
+++ b/src/base/wlc/wlcReadVer.c
@@ -193,7 +193,7 @@ static inline char * Wlc_PrsFindSymbolTwo( char * pStr, char Symb, char Symb2 )
             return pStr;
     return NULL;
 }
-static inline char * Wlc_PrsFindClosingParanthesis( char * pStr, char Open, char Close )
+static inline char * Wlc_PrsFindClosingParenthesis( char * pStr, char Open, char Close )
 {
     int Counter = 0;
     int fNotName = 1;
@@ -624,18 +624,18 @@ static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t *
         if ( Wlc_PrsFindSymbolTwo(pStr, '>', '>') && Wlc_PrsFindSymbolTwo(pStr, '<', '<') )
         {
             // THIS IS A HACK TO DETECT rotating shifters
-            char * pClose = Wlc_PrsFindClosingParanthesis( pStr, '(', ')' );
+            char * pClose = Wlc_PrsFindClosingParenthesis( pStr, '(', ')' );
             if ( pClose == NULL )
-                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing paranthesis." );
+                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing parenthesis." );
             *pStr = ' '; *pClose = 0;
             pStr = Wlc_PrsSkipSpaces( pStr );
             fRotating = 1;
         }
         else
         {
-            char * pClose = Wlc_PrsFindClosingParanthesis( pStr, '(', ')' );
+            char * pClose = Wlc_PrsFindClosingParenthesis( pStr, '(', ')' );
             if ( pClose == NULL )
-                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing paranthesis." );
+                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing parenthesis." );
             *pStr = *pClose = ' ';
             pStr = Wlc_PrsSkipSpaces( pStr );
         }
@@ -655,13 +655,13 @@ static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t *
         else if ( pStr[0] == '~' )
             Type = WLC_OBJ_BIT_NOT;
         else assert( 0 );
-        // skip parantheses
+        // skip parentheses
         pStr = Wlc_PrsSkipSpaces( pStr+1 );
         if ( pStr[0] == '(' )
         {
-            char * pClose = Wlc_PrsFindClosingParanthesis( pStr, '(', ')' );
+            char * pClose = Wlc_PrsFindClosingParenthesis( pStr, '(', ')' );
             if ( pClose == NULL )
-                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing paranthesis." );
+                return Wlc_PrsWriteErrorMessage( p, pStr, "Expecting closing parenthesis." );
             *pStr = *pClose = ' ';
         }
         if ( !(pStr = Wlc_PrsReadName(p, pStr, vFanins)) )
@@ -1097,7 +1097,7 @@ startword:
                 fFlopOut = (pStart[0] == 'q');
                 pStart = Wlc_PrsFindSymbol( pStart, '(' );
                 if ( pStart == NULL )
-                    return Wlc_PrsWriteErrorMessage( p, pStart, "Cannot read opening paranthesis in the flop description." );
+                    return Wlc_PrsWriteErrorMessage( p, pStart, "Cannot read opening parenthesis in the flop description." );
                 pStart = Wlc_PrsFindName( pStart+1, &pName );
                 if ( pStart == NULL )
                     return Wlc_PrsWriteErrorMessage( p, pStart, "Cannot read name inside flop description." );