diff --git a/src/base/main/main.c b/src/base/main/main.c
index b7d1c0a8b..62575ed8d 100644
--- a/src/base/main/main.c
+++ b/src/base/main/main.c
@@ -142,6 +142,7 @@ int Abc_RealMain( int argc, char * argv[] )
         switch(c) {
             case 'c':
                 strcpy( sCommandUsr, globalUtilOptarg );
+                printf( "ABC command line: \"%s\".\n", sCommandUsr );
                 fBatch = 1;
                 break;