diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-25 11:59:34 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-04-25 11:59:34 -0700 |
commit | 5d1abad84d8d1e6d396207c66aabbb5df4ae606b (patch) | |
tree | 85951481b591164d0717db03966846c4136d48f1 /src/base/abci/abc.c | |
parent | 0e15e4dd158981714760a3553ffb9a080c5c5cf8 (diff) | |
download | abc-5d1abad84d8d1e6d396207c66aabbb5df4ae606b.tar.gz abc-5d1abad84d8d1e6d396207c66aabbb5df4ae606b.tar.bz2 abc-5d1abad84d8d1e6d396207c66aabbb5df4ae606b.zip |
Typo in the command description.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 0ff564dc..5842ec94 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -29318,8 +29318,8 @@ int Abc_CommandAbc9Load( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &load [-h]\n" ); - Abc_Print( -2, "\t loads AIG with mapping previously saved by &save" ); - Abc_Print( -2, "\t (after loading the previously saved AIG can be loaded again)" ); + Abc_Print( -2, "\t loads AIG with mapping previously saved by &save\n" ); + Abc_Print( -2, "\t (after loading the previously saved AIG can be loaded again)\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; } @@ -29365,8 +29365,8 @@ int Abc_CommandAbc9Load2( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &load2 [-h]\n" ); - Abc_Print( -2, "\t loads AIG with mapping previously saved by &save2" ); - Abc_Print( -2, "\t (after loading the previously saved AIG cannot be loaded again)" ); + Abc_Print( -2, "\t loads AIG with mapping previously saved by &save2\n" ); + Abc_Print( -2, "\t (after loading the previously saved AIG cannot be loaded again)\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; } @@ -29408,7 +29408,7 @@ int Abc_CommandAbc9LoadAig( Abc_Frame_t * pAbc, int argc, char ** argv ) usage: Abc_Print( -2, "usage: &loadaig [-h]\n" ); - Abc_Print( -2, "\t loads AIG previously saved by &saveaig" ); + Abc_Print( -2, "\t loads AIG previously saved by &saveaig\n" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; } |