summaryrefslogtreecommitdiffstats
path: root/src/base/io
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-04-26 22:56:04 -0400
committerAlan Mishchenko <alanmi@berkeley.edu>2011-04-26 22:56:04 -0400
commit631b50aa591f47a48cc91813a975effddd3a1f76 (patch)
treec5aa92d6ae85a22173d9ac258c059fb338807340 /src/base/io
parent970200b932eb2999b57c8ab8348c4695c08eff6d (diff)
downloadabc-631b50aa591f47a48cc91813a975effddd3a1f76.tar.gz
abc-631b50aa591f47a48cc91813a975effddd3a1f76.tar.bz2
abc-631b50aa591f47a48cc91813a975effddd3a1f76.zip
Commented out debug messages.
Diffstat (limited to 'src/base/io')
-rw-r--r--src/base/io/ioReadAiger.c2
1 files changed, 1 insertions, 1 deletions
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