diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:58:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:58:34 -0700 |
| commit | 32312c43f8f813e8d7055aa2168bde53a2a9d2a6 (patch) | |
| tree | 88c2562fc642ebfd82376c96b55341f5626c295b /src | |
| parent | 4cbc97a464d6406ed908e24477dfe0e172d48d5c (diff) | |
| download | abc-32312c43f8f813e8d7055aa2168bde53a2a9d2a6.tar.gz abc-32312c43f8f813e8d7055aa2168bde53a2a9d2a6.tar.bz2 abc-32312c43f8f813e8d7055aa2168bde53a2a9d2a6.zip | |
Avoid command name collision.
Diffstat (limited to 'src')
| -rw-r--r-- | src/sat/glucose/AbcGlucoseCmd.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/glucose/AbcGlucoseCmd.cpp b/src/sat/glucose/AbcGlucoseCmd.cpp index 8dbe3790..bcff4165 100644 --- a/src/sat/glucose/AbcGlucoseCmd.cpp +++ b/src/sat/glucose/AbcGlucoseCmd.cpp @@ -50,7 +50,7 @@ extern "C" { void Glucose_Init(Abc_Frame_t *pAbc) { - Cmd_CommandAdd( pAbc, "ABC9", "&glucose", Abc_CommandGlucose, 0 ); + Cmd_CommandAdd( pAbc, "ABC9", "&gluco", Abc_CommandGlucose, 0 ); } void Glucose_End( Abc_Frame_t * pAbc ) @@ -127,7 +127,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: &glucose [-C num] [-pvh] <file.cnf>\n" ); + Abc_Print( -2, "usage: &gluco [-C num] [-pvh] <file.cnf>\n" ); Abc_Print( -2, "\t run glucose\n" ); Abc_Print( -2, "\t-C num : conflict limit [default = %d]\n", nConfls ); Abc_Print( -2, "\t-p : enable preprocessing [default = %d]\n",pre); |