Better batch mode printout.

8e12b60b · Alan Mishchenko · acc3abe9 · 8e12b60b
Commit 8e12b60b authored Sep 04, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/main/main.c
+1 -1

No files found.
--- 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 )
    {