1 files changed, 0 insertions, 83 deletions
diff --git a/src/base/cmd/cmdInt.h b/src/base/cmd/cmdInt.h
deleted file mode 100644
index c082bd94..00000000
--- a/src/base/cmd/cmdInt.h
+++ /dev/null
@@ -1,83 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [cmdInt.h]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Command processing package.]
-
-  Synopsis    [Internal declarations of the command package.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: cmdInt.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
-
-#ifndef __CMD_INT_H__
-#define __CMD_INT_H__
-
-////////////////////////////////////////////////////////////////////////
-///                          INCLUDES                                ///
-////////////////////////////////////////////////////////////////////////
-
-#include "mainInt.h"
-#include "cmd.h"
-
-////////////////////////////////////////////////////////////////////////
-///                         PARAMETERS                               ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                    STRUCTURE DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-struct MvCommand
-{
-    char *        sName;       // the command name  
-    char *        sGroup;      // the group name  
-    void *        pFunc;       // the function to execute the command 
-    int           fChange;     // set to 1 to mark that the network is changed
-};
-
-struct MvAlias
-{
-    char *        sName;       // the alias name
-    int           argc;        // the number of alias parts
-    char **       argv;        // the alias parts
-};
-
-////////////////////////////////////////////////////////////////////////
-///                       MACRO DEFINITIONS                          ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                        ///
-////////////////////////////////////////////////////////////////////////
-
-/*=== cmdAlias.c =============-========================================*/
-extern void       CmdCommandAliasAdd( Abc_Frame_t * pAbc, char * sName, int argc, char ** argv );
-extern void       CmdCommandAliasPrint( Abc_Frame_t * pAbc, Abc_Alias * pAlias );
-extern char *     CmdCommandAliasLookup( Abc_Frame_t * pAbc, char * sCommand );
-extern void       CmdCommandAliasFree( Abc_Alias * p );
-/*=== cmdUtils.c =======================================================*/
-extern int        CmdCommandDispatch( Abc_Frame_t * pAbc, int  argc, char ** argv );
-extern char *     CmdSplitLine( Abc_Frame_t * pAbc, char * sCommand, int * argc, char *** argv );
-extern int        CmdApplyAlias( Abc_Frame_t * pAbc, int * argc, char *** argv, int * loop );
-extern char *     CmdHistorySubstitution( Abc_Frame_t * pAbc, char * line, int * changed );
-extern FILE *     CmdFileOpen( Abc_Frame_t * pAbc, char * sFileName, char * sMode, char ** pFileNameReal, int silent );
-extern void       CmdFreeArgv( int argc, char ** argv );
-extern void       CmdCommandFree( Abc_Command * pCommand );
-extern void       CmdCommandPrint( Abc_Frame_t * pAbc, bool fPrintAll );
-extern void       CmdPrintTable( st_table * tTable, int fAliases );
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-
-#endif
-