From 63dab64574e2ec843220a2a4458bf387fff9c94f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 10 Jul 2012 18:04:08 -0700
Subject: Replacing printf() by Abc_Print().

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

(limited to 'src/base/main/main.c')

diff --git a/src/base/main/main.c b/src/base/main/main.c
index d1a14edc..82ed3def 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -219,7 +219,7 @@ int Abc_RealMain( int argc, char * argv[] )
         pAbc->pGia = Gia_ManFromBridge( stdin, NULL );
     }
     else if ( fBatch && sCommandUsr[0] )
-        printf( "ABC command line: \"%s\".\n", sCommandUsr );
+        Abc_Print( 1, "ABC command line: \"%s\".\n", sCommandUsr );
     
     if ( fBatch )
     {
-- 
cgit v1.2.3