diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index cf316ce90..9fa73eafb 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -19626,10 +19626,10 @@ usage:
     Abc_Print( -2, "\t-v     : toggles verbose output [default = %s]\n", pSecPar->fVerbose? "yes": "no" );
     Abc_Print( -2, "\t-w     : toggles additional verbose output [default = %s]\n", pSecPar->fVeryVerbose? "yes": "no" );
     Abc_Print( -2, "\t-h     : print the command usage\n");
+    Abc_Print( -2, "\tCommand \"dprove\" can also be used for sequential synthesis (dprove -brjopu)\n");
     return 1;
 }
 
-
 /**Function*************************************************************
 
   Synopsis    []