From df6fdd1dffd8ce83dfc4a7868ebdd25241f8f24b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Apr 2009 08:01:00 -0700
Subject: Version abc90408

---
 src/opt/lpk/lpkAbcDsd.c | 4 ++--
 src/opt/lpk/lpkMulti.c  | 2 +-
 src/opt/lpk/lpkSets.c   | 2 +-
 src/opt/mfs/mfsCore.c   | 2 +-
 src/opt/ret/retIncrem.c | 2 +-
 5 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/opt')

diff --git a/src/opt/lpk/lpkAbcDsd.c b/src/opt/lpk/lpkAbcDsd.c
index c2a46d3e..a1cd9def 100644
--- a/src/opt/lpk/lpkAbcDsd.c
+++ b/src/opt/lpk/lpkAbcDsd.c
@@ -420,7 +420,7 @@ Kit_DsdPrint( stdout, pNtks[i] );
             pvBSets[i][k] = Lpk_MergeBoundSets( pvBSets[i+1][2*k+0], pvBSets[i+1][2*k+1], p->nLutK - nCofDepth );
     // compare bound-sets
     Lpk_FunCompareBoundSets( p, pvBSets[0][0], nCofDepth, uNonDecSupp, uLateArrSupp, pRes );
-    // ABC_FREE the bound sets
+    // free the bound sets
     for ( i = nCofDepth; i >= 0; i-- )
         for ( k = 0; k < (1<<i); k++ )
             Vec_IntFree( pvBSets[i][k] );
@@ -539,7 +539,7 @@ Lpk_Res_t * Lpk_DsdAnalize( Lpk_Man_t * pMan, Lpk_Fun_t * p, int nShared )
     }
 
 finish:
-    // ABC_FREE the networks
+    // free the networks
     for ( i = 0; i < (1<<nShared); i++ )
         if ( pNtks[i] )
             Kit_DsdNtkFree( pNtks[i] );
diff --git a/src/opt/lpk/lpkMulti.c b/src/opt/lpk/lpkMulti.c
index b013570e..d5f1fd11 100644
--- a/src/opt/lpk/lpkMulti.c
+++ b/src/opt/lpk/lpkMulti.c
@@ -492,7 +492,7 @@ If_Obj_t * Lpk_MapTreeMulti( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj
         printf( "Verification failed.\n" );
 
 
-    // ABC_FREE the networks
+    // free the networks
     for ( i = 0; i < 8; i++ )
         if ( ppNtks[i] )
             Kit_DsdNtkFree( ppNtks[i] );
diff --git a/src/opt/lpk/lpkSets.c b/src/opt/lpk/lpkSets.c
index 6cb3f12d..90e46863 100644
--- a/src/opt/lpk/lpkSets.c
+++ b/src/opt/lpk/lpkSets.c
@@ -362,7 +362,7 @@ unsigned Lpk_MapSuppRedDecSelect( Lpk_Man_t * p, unsigned * pTruth, int nVars, i
         Lpk_PrintSets( vSets0 );
         if ( fVerbose )
         Lpk_PrintSets( vSets1 );
-        // ABC_FREE the networks
+        // free the networks
         Kit_DsdNtkFree( ppNtks[0] );
         Kit_DsdNtkFree( ppNtks[1] );
         // evaluate the pair
diff --git a/src/opt/mfs/mfsCore.c b/src/opt/mfs/mfsCore.c
index 456b5d71..20d3799c 100644
--- a/src/opt/mfs/mfsCore.c
+++ b/src/opt/mfs/mfsCore.c
@@ -567,7 +567,7 @@ int Abc_NtkMfs( Abc_Ntk_t * pNtk, Mfs_Par_t * pPars )
 #endif
     }
 
-    // ABC_FREE the manager
+    // free the manager
     p->timeTotal = clock() - clk;
     Mfs_ManStop( p );
     return 1;
diff --git a/src/opt/ret/retIncrem.c b/src/opt/ret/retIncrem.c
index 233fb436..1866e4c9 100644
--- a/src/opt/ret/retIncrem.c
+++ b/src/opt/ret/retIncrem.c
@@ -194,7 +194,7 @@ int Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st_table * tLatches, int nId
         Vec_PtrPush( vCosNew, pLatchIn );
         Vec_PtrPush( vBoxesNew, pLatch );
     }
-    // ABC_FREE useless Cis/Cos
+    // free useless Cis/Cos
     Vec_PtrForEachEntry( vCisOld, pObj, i )
         if ( !Abc_ObjIsPi(pObj) && Abc_ObjFaninNum(pObj) == 0 && Abc_ObjFanoutNum(pObj) == 0 )
             Abc_NtkDeleteObj(pObj);
-- 
cgit v1.2.3