From 631b50aa591f47a48cc91813a975effddd3a1f76 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 26 Apr 2011 22:56:04 -0400
Subject: Commented out debug messages.

---
 src/base/io/ioReadAiger.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/io/ioReadAiger.c')

diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c
index 61d2967b..a5f6fb1d 100644
--- a/src/base/io/ioReadAiger.c
+++ b/src/base/io/ioReadAiger.c
@@ -407,7 +407,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck )
                 vTerms = pNtkNew->vPos;
             else
             {
-                fprintf( stdout, "Wrong terminal type.\n" );
+//                fprintf( stdout, "Wrong terminal type.\n" );
                 return NULL;
             }
             // get the terminal number
-- 
cgit v1.2.3