diff options
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainInt.h | 1 | ||||
| -rw-r--r-- | src/base/main/mainUtils.c | 9 |
2 files changed, 2 insertions, 8 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 6ed12786..5c30f7c0 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -68,6 +68,7 @@ struct Abc_Frame_t_ Abc_Ntk_t * pNtkBestDelay; // the current network Abc_Ntk_t * pNtkBestArea; // the current network int nSteps; // the counter of different network processed + int fSource; // marks the source mode int fAutoexac; // marks the autoexec mode int fBatchMode; // batch mode flag int fBridgeMode; // bridge mode flag diff --git a/src/base/main/mainUtils.c b/src/base/main/mainUtils.c index f0d602d3..b46ffaea 100644 --- a/src/base/main/mainUtils.c +++ b/src/base/main/mainUtils.c @@ -203,6 +203,7 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc ) } else #endif /* #ifdef ABC_PYTHON_EMBED */ + { char * sPath1, * sPath2; char * home; @@ -252,14 +253,6 @@ void Abc_UtilsSource( Abc_Frame_t * pAbc ) } #endif //WIN32 - { - // reset command history - char * pName; - int i; - Vec_PtrForEachEntry( char *, pAbc->aHistory, pName, i ) - ABC_FREE( pName ); - pAbc->aHistory->nSize = 0; - } } /**Function******************************************************************** |