From 32312c43f8f813e8d7055aa2168bde53a2a9d2a6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 7 Sep 2017 19:58:34 -0700 Subject: Avoid command name collision. --- src/sat/glucose/AbcGlucoseCmd.cpp | 4 ++-- 1 file 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] \n" ); + Abc_Print( -2, "usage: &gluco [-C num] [-pvh] \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); -- cgit v1.2.3