From 7ec48bc20de6209f311715f4b1479cb2e0a4d906 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 20 Apr 2008 20:01:00 -0700
Subject: Version abc80420_2

---
 src/aig/ntl/ntlEc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/ntl/ntlEc.c')

diff --git a/src/aig/ntl/ntlEc.c b/src/aig/ntl/ntlEc.c
index 7cb6d6f5..0cd75cbc 100644
--- a/src/aig/ntl/ntlEc.c
+++ b/src/aig/ntl/ntlEc.c
@@ -238,7 +238,7 @@ void Ntl_ManPrepareCec( char * pFileName1, char * pFileName2, Aig_Man_t ** ppMan
     // derive AIGs
     *ppMan1 = Ntl_ManCollapseForCec( pMan1 );
     *ppMan2 = Ntl_ManCollapseForCec( pMan2 );
-    // cleanup
+    // cleanup 
     Ntl_ManFree( pMan1 );
     Ntl_ManFree( pMan2 );
 }
-- 
cgit v1.2.3