From c065b2c5daea65cb98659aa1bb56a138ca7cc290 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 12 Sep 2005 08:01:00 -0700
Subject: Version abc50912

---
 src/sat/csat/csat_apis.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/csat/csat_apis.c')

diff --git a/src/sat/csat/csat_apis.c b/src/sat/csat/csat_apis.c
index 4481297a..37822383 100644
--- a/src/sat/csat/csat_apis.c
+++ b/src/sat/csat/csat_apis.c
@@ -515,7 +515,7 @@ enum CSAT_StatusT CSAT_Solve( CSAT_Manager mng )
 
     if ( mng->mode == 0 ) // brute-force SAT
     {
-        // transfor the AIG into a logic network for efficient CNF construction
+        // transform the AIG into a logic network for efficient CNF construction
         pCnf = Abc_NtkRenode( mng->pTarget, 0, 100, 1, 0, 0 );
         RetValue = Abc_NtkMiterSat( pCnf, mng->nSeconds, 0 );
 
-- 
cgit v1.2.3