Synchronizing packages.

src/base/abci/abc.c

@@ -1060,8 +1060,8 @@ void Abc_Init( Abc_Frame_t * pAbc )
 //        If_ManSatTest();
     }
 
-    if ( Sdm_ManCanRead() )
-        Sdm_ManRead();
+//    if ( Sdm_ManCanRead() )
+//        Sdm_ManRead();
 }
 
 /**Function*************************************************************
@@ -16033,7 +16033,7 @@ int Abc_CommandDsdPs( Abc_Frame_t * pAbc, int argc, char ** argv )
 
 usage:
     Abc_Print( -2, "usage: dsd_ps [-NS num] [-obvh]\n" );
-    Abc_Print( -2, "\t         prints statistics of DSD manager\n" );
+    Abc_Print( -2, "\t         prints statistics of the DSD manager\n" );
     Abc_Print( -2, "\t-N num : show structures whose ID divides by N [default = %d]\n",   Number );
     Abc_Print( -2, "\t-S num : show structures whose support size is S [default = %d]\n", Support );
     Abc_Print( -2, "\t-o     : toggles printing occurence distribution [default = %s]\n", fOccurs? "yes": "no" );
@@ -16289,7 +16289,7 @@ int Abc_CommandDsdClean( Abc_Frame_t * pAbc, int argc, char ** argv )
 usage:
     Abc_Print( -2, "usage: dsd_clean [-LK num] [-omvh]\n" );
     Abc_Print( -2, "\t         modifying parameters of the DSD manager\n" );
-    Abc_Print( -2, "\t-L num : remove structures with fewer occurances that this [default = %d]\n", nLimit );
+    Abc_Print( -2, "\t-L num : remove structures with fewer occurrences that this [default = %d]\n", nLimit );
     Abc_Print( -2, "\t-K num : new LUT size to set for the DSD manager [default = %d]\n",           nLutSize );
     Abc_Print( -2, "\t-o     : toggles cleaning occurrence counters [default = %s]\n",              fCleanOccur? "yes": "no" );
     Abc_Print( -2, "\t-m     : toggles cleaning matching marks [default = %s]\n",                   fCleanMarks? "yes": "no" );

src/base/abci/abcNpnSave.c

@@ -34,7 +34,7 @@ typedef struct Npn_Man_t_ Npn_Man_t;
 struct Npn_Obj_t_
 {
     word         uTruth;      // truth table
-    int          Count;       // occurances
+    int          Count;       // occurrences
     int          iNext;       // next entry
 };
 struct Npn_Man_t_

src/base/ver/verParse.c

@@ -63,7 +63,7 @@ int Ver_ParseSkipComments( Ver_Man_t * pMan )
         return Ver_ParseSkipComments( pMan );
     }
     if ( Symbol == '*' )
-    { // skip till the next occurance of */
+    { // skip till the next occurrence of */
         Ver_StreamPopChar( p );
         do {
             Ver_StreamSkipToChars( p, "*" );