diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2015-11-10 12:30:14 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2015-11-10 12:30:14 -0800 |
| commit | 58cb23085541fd1052a4fdb694bda249412e9255 (patch) | |
| tree | 818c17ad7767fa97904b7fcd8227131691e18c93 /src/base/cmd | |
| parent | e561eb0f7845b1cbe774b94ca3a163ac85e3a1d3 (diff) | |
| download | abc-58cb23085541fd1052a4fdb694bda249412e9255.tar.gz abc-58cb23085541fd1052a4fdb694bda249412e9255.tar.bz2 abc-58cb23085541fd1052a4fdb694bda249412e9255.zip | |
load_plugin: remove a comment that became redundant and cleaned up a bit
Diffstat (limited to 'src/base/cmd')
| -rw-r--r-- | src/base/cmd/cmdPlugin.c | 9 |
1 files 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" ); |