4 files changed, 4 insertions, 4 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c
index 20f412e0..46d61583 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -1140,7 +1140,7 @@ int IoCommandReadVerLib( Abc_Frame_t * pAbc, int argc, char ** argv )
         return 1;
     }
     printf( "The library contains %d gates.\n", st_count(pLibrary->tModules) );
-    // ABC_FREE old library
+    // free old library
     if ( Abc_FrameReadLibVer() )
         Abc_LibFree( Abc_FrameReadLibVer(), NULL );
     // read new library
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c
index c26e4cd5..85475204 100644
--- a/src/base/io/ioReadAiger.c
+++ b/src/base/io/ioReadAiger.c
@@ -327,7 +327,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck )
                 i++;
     }
     else // modified AIGER
-    {
+    { 
         vLits = Io_WriteDecodeLiterals( &pCur, nLatches + nOutputs );
     }
 
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c
index 34ea4294..eea601a8 100644
--- a/src/base/io/ioReadBlifMv.c
+++ b/src/base/io/ioReadBlifMv.c
@@ -160,7 +160,7 @@ Abc_Ntk_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck )
     pDesignName  = Extra_FileNameGeneric( pFileName );
     p->pDesign   = Abc_LibCreate( pDesignName );
     ABC_FREE( pDesignName );
-    // ABC_FREE the HOP manager
+    // free the HOP manager
     Hop_ManStop( p->pDesign->pManFunc );
     p->pDesign->pManFunc = NULL;
     // prepare the file for parsing
diff --git a/src/base/io/ioWriteCnf.c b/src/base/io/ioWriteCnf.c
index 7d03e545..3df189d1 100644
--- a/src/base/io/ioWriteCnf.c
+++ b/src/base/io/ioWriteCnf.c
@@ -78,7 +78,7 @@ int Io_WriteCnf( Abc_Ntk_t * pNtk, char * pFileName, int fAllPrimes )
     s_pNtk = pNtk;
     Sat_SolverWriteDimacs( pSat, pFileName, 0, 0, 1 );
     s_pNtk = NULL;
-    // ABC_FREE the solver
+    // free the solver
     sat_solver_delete( pSat );
     return 1;
 }