From 7e2b00776213f86f54b9aa601e8593951b9de7d0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 24 Aug 2012 12:25:53 -0700
Subject: Added recording history of used commands into file 'abc.history'
 (Windows only).

---
 src/base/main/mainInt.h   | 1 +
 src/base/main/mainUtils.c | 9 +--------
 2 files changed, 2 insertions(+), 8 deletions(-)

(limited to 'src/base/main')

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********************************************************************
-- 
cgit v1.2.3