1 files changed, 0 insertions, 24 deletions
diff --git a/src/base/cba/cbaReadSmt.c b/src/base/cba/cbaReadSmt.c
index 5099e80d..a9dd83dd 100644
--- a/src/base/cba/cbaReadSmt.c
+++ b/src/base/cba/cbaReadSmt.c
@@ -19,7 +19,6 @@
 ***********************************************************************/
 
 #include "cba.h"
-#include "cbaPrs.h"
 
 ABC_NAMESPACE_IMPL_START
 
@@ -32,29 +31,6 @@ ABC_NAMESPACE_IMPL_START
 ///                     FUNCTION DEFINITIONS                         ///
 ////////////////////////////////////////////////////////////////////////
 
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Vec_Ptr_t * Prs_ManReadSmt( char * pFileName )
-{
-    Vec_Ptr_t * vPrs = NULL;
-    Prs_Man_t * p = Prs_ManAlloc( pFileName );
-    if ( p == NULL )
-        return NULL;
-//    Prs_ManReadLines( p );
-    if ( Prs_ManErrorPrint(p) )
-        ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks );
-    Prs_ManFree( p );
-    return vPrs;
-}
 
 
 ////////////////////////////////////////////////////////////////////////