1 files changed, 0 insertions, 117 deletions
diff --git a/src/base/ver/verParse.c b/src/base/ver/verParse.c
deleted file mode 100644
index 9462fc8b..00000000
--- a/src/base/ver/verParse.c
+++ /dev/null
@@ -1,117 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [verParse.c]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Verilog parser.]
-
-  Synopsis    [Performs some Verilog parsing tasks.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - August 19, 2006.]
-
-  Revision    [$Id: verParse.c,v 1.00 2006/08/19 00:00:00 alanmi Exp $]
-
-***********************************************************************/
-
-#include "ver.h"
-
-////////////////////////////////////////////////////////////////////////
-///                        DECLARATIONS                              ///
-////////////////////////////////////////////////////////////////////////
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/**Function*************************************************************
-
-  Synopsis    [Skips the comments of they are present.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-int Ver_ParseSkipComments( Ver_Man_t * pMan )
-{
-    Ver_Stream_t * p = pMan->pReader;
-    char Symbol;
-    // skip spaces
-    Ver_StreamSkipChars( p, " \t\n\r" );
-    if ( !Ver_StreamIsOkey(pMan->pReader) )
-        return 1;
-    // read the first symbol
-    Symbol = Ver_StreamScanChar( p );
-    if ( Symbol != '/' )
-        return 1;
-    Ver_StreamPopChar( p );
-    // read the second symbol
-    Symbol = Ver_StreamScanChar( p );
-    if ( Symbol == '/' )
-    { // skip till the end of line
-        Ver_StreamSkipToChars( p, "\n" );
-        return Ver_ParseSkipComments( pMan );
-    }
-    if ( Symbol == '*' )
-    { // skip till the next occurance of */
-        Ver_StreamPopChar( p );
-        do {
-            Ver_StreamSkipToChars( p, "*" );
-            Ver_StreamPopChar( p );
-        } while ( Ver_StreamScanChar( p ) != '/' );
-        Ver_StreamPopChar( p );
-        return Ver_ParseSkipComments( pMan );
-    }
-    sprintf( pMan->sError, "Cannot parse after symbol \"/\"." );
-    Ver_ParsePrintErrorMessage( pMan );
-    return 0;
-}
-
-/**Function*************************************************************
-
-  Synopsis    [Parses a Verilog name that can be being with a slash.]
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-char * Ver_ParseGetName( Ver_Man_t * pMan )
-{
-    Ver_Stream_t * p = pMan->pReader;
-    char Symbol;
-    char * pWord;
-    pMan->fNameLast = 0;
-    if ( !Ver_StreamIsOkey(p) )
-        return NULL;
-    if ( !Ver_ParseSkipComments( pMan ) )
-        return NULL;
-    Symbol = Ver_StreamScanChar( p );
-    if ( Symbol == '\\' )
-    {
-        pMan->fNameLast = 1;
-        Ver_StreamPopChar( p );
-        pWord = Ver_StreamGetWord( p, " \r\n" );
-    }
-    else
-        pWord = Ver_StreamGetWord( p, " \t\n\r(),;" );
-    if ( !Ver_ParseSkipComments( pMan ) )
-        return NULL;
-    return pWord;
-}
-
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-
-