From 233e12610a8978234da50116a7361d915411597c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 28 Aug 2014 13:06:02 -0700 Subject: Added command 'move_names'. --- src/base/abci/abc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c3f7cb47..516365a9 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -9162,7 +9162,7 @@ usage: Abc_Print( -2, "usage: move_names [-h] \n" ); Abc_Print( -2, "\t moves PI/PO/latch names from the other network\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); - Abc_Print( -2, "\t : file names with network that has required names\n"); + Abc_Print( -2, "\t : file with network that has required names\n"); return 1; } -- cgit v1.2.3