From e1b32ee7560d1121302d6f87ce045dedb0013f42 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 1 Jun 2016 11:57:29 -0700
Subject: Silencing several messages.

---
 src/base/abci/abc.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/base/abci/abc.c')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index aa2d5598..6cc131bd 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -33213,6 +33213,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv )
 
     if ( pAbc->pGia == NULL )
     {
+        if ( !Abc_FrameReadFlag("silentmode") )
         Abc_Print( -1, "Empty GIA network.\n" );
         return 1;
     }
-- 
cgit v1.2.3