From 58cb23085541fd1052a4fdb694bda249412e9255 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Tue, 10 Nov 2015 12:30:14 -0800 Subject: load_plugin: remove a comment that became redundant and cleaned up a bit --- src/base/cmd/cmdPlugin.c | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/src/base/cmd/cmdPlugin.c b/src/base/cmd/cmdPlugin.c index 9a3902ff..64837c80 100644 --- a/src/base/cmd/cmdPlugin.c +++ b/src/base/cmd/cmdPlugin.c @@ -412,7 +412,6 @@ Gia_Man_t * Abc_ManReadAig( char * pFileName, char * pToken ) int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv ) { char * pFileIn, * pFileOut; - char * pFileNameBinary; Vec_Str_t * vCommand; Vec_Int_t * vCex; FILE * pFile; @@ -440,8 +439,7 @@ int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv ) { // Run command to produce help string: vCommand = Vec_StrAlloc( 100 ); - pFileNameBinary = Abc_GetBinaryName( pAbc, argc, argv ); - Vec_StrAppend( vCommand, pFileNameBinary ); + Vec_StrAppend( vCommand, Abc_GetBinaryName( pAbc, argc, argv ) ); Vec_StrAppend( vCommand, " -abc " ); Vec_StrAppend( vCommand, argv[0] ); Vec_StrAppend( vCommand, " -h" ); @@ -456,9 +454,6 @@ int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } - // check if there is the binary - pFileNameBinary = Abc_GetBinaryName( pAbc, argc, argv ); - // create temp file fd = Util_SignalTmpFile( "__abctmp_", ".aig", &pFileIn ); if ( fd == -1 ) @@ -511,7 +506,7 @@ int Cmd_CommandAbcPlugIn( Abc_Frame_t * pAbc, int argc, char ** argv ) // create command line vCommand = Vec_StrAlloc( 100 ); - Vec_StrAppend( vCommand, pFileNameBinary ); + Vec_StrAppend( vCommand, Abc_GetBinaryName( pAbc, argc, argv ) ); // add input/output file Vec_StrAppend( vCommand, " -abc" ); // Vec_StrAppend( vCommand, " -input=C:/_projects/abc/_TEST/hwmcc/139442p0.aig" ); -- cgit v1.2.3