From 8e12b60b66c74b5e706fa931d68729986ddc315f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 4 Sep 2012 14:39:14 -0700 Subject: Better batch mode printout. --- src/base/main/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base') diff --git a/src/base/main/main.c b/src/base/main/main.c index 80d81c28..ebab4ee8 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] ) - Abc_Print( 1, "ABC command line: \"%s\".\n", sCommandUsr ); + Abc_Print( 1, "ABC command line: \"%s\".\n\n", sCommandUsr ); if ( fBatch ) { -- cgit v1.2.3