From efa6b54b5ed1549a39495a89db57c1189f4e5a93 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 17 Sep 2013 21:47:39 -0700
Subject: Debugging and finetuning the flow.

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

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

diff --git a/src/base/io/ioUtil.c b/src/base/io/ioUtil.c
index 1382337a..0044f5fd 100644
--- a/src/base/io/ioUtil.c
+++ b/src/base/io/ioUtil.c
@@ -101,7 +101,7 @@ Abc_Ntk_t * Io_ReadNetlist( char * pFileName, Io_FileType_t FileType, int fCheck
     Abc_Ntk_t * pNtk;
     if ( FileType == IO_FILE_NONE || FileType == IO_FILE_UNKNOWN )
     {
-        fprintf( stdout, "The generic file reader requires a known file extension.\n" );
+        fprintf( stdout, "Generic file reader requires a known file extension to open \"%s\".\n", pFileName );
         return NULL;
     }
     // check if the file exists
-- 
cgit v1.2.3