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/sat/csat/csat_apis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/csat')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index 79c0655b..ecad9d37 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -569,7 +569,7 @@ void ABC_SolveInit( ABC_Manager mng )
     if ( mng->nog == 0 )
         { printf( "ABC_SolveInit: Target is not specified by ABC_AddTarget().\n" ); return; }
 
-    // ABC_FREE the previous target network if present
+    // free the previous target network if present
     if ( mng->pTarget ) Abc_NtkDelete( mng->pTarget );
 
     // set the new target network
-- 
cgit v1.2.3