1 files changed, 0 insertions, 55 deletions
diff --git a/abc70930/src/base/cmd/cmdHist.c b/abc70930/src/base/cmd/cmdHist.c
deleted file mode 100644
index fae9382d..00000000
--- a/abc70930/src/base/cmd/cmdHist.c
+++ /dev/null
@@ -1,55 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [cmdHist.c]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Command processing package.]
-
-  Synopsis    [Procedures working with history.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: cmdHist.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
-
-#include "mainInt.h"
-#include "cmd.h"
-#include "cmdInt.h"
-
-////////////////////////////////////////////////////////////////////////
-///                        DECLARATIONS                              ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-void Cmd_HistoryAddCommand(    Abc_Frame_t * p, char * command )
-{
-    static char Buffer[MAX_STR];
-    strcpy( Buffer, command );
-    if ( command[strlen(command)-1] != '\n' )
-        strcat( Buffer, "\n" );
-    Vec_PtrPush( p->aHistory, Extra_UtilStrsav(Buffer) );
-}
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////