From 6f13e63182d95a66ca840ce83349fcb1099ced23 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 21 Jul 2015 17:57:19 -0700 Subject: Renaming Cba into Bac. --- abclib.dsp | 6 +++--- src/base/bac/bacReadVer.c | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/abclib.dsp b/abclib.dsp index ab0b17ac..da557ba1 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -871,11 +871,11 @@ SOURCE=.\src\base\bac\bacPrsTrans.c # End Source File # Begin Source File -SOURCE=.\src\base\bac\bacPrtAbc.c +SOURCE=.\src\base\bac\bacPtr.c # End Source File # Begin Source File -SOURCE=.\src\base\bac\bacPtr.c +SOURCE=.\src\base\bac\bacPtrAbc.c # End Source File # Begin Source File @@ -887,7 +887,7 @@ SOURCE=.\src\base\bac\bacReadSmt.c # End Source File # Begin Source File -SOURCE=.\src\base\bac\bacReadVec.c +SOURCE=.\src\base\bac\bacReadVer.c # End Source File # Begin Source File diff --git a/src/base/bac/bacReadVer.c b/src/base/bac/bacReadVer.c index 676b090d..eb5c4270 100644 --- a/src/base/bac/bacReadVer.c +++ b/src/base/bac/bacReadVer.c @@ -447,7 +447,7 @@ static inline int Psr_ManReadSignal( Psr_Man_t * p ) return Abc_Var2Lit2( Item, BAC_PRS_NAME ); } } -static int Psr_ManReadSignalList( Psr_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm ) +int Psr_ManReadSignalList( Psr_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm ) { Vec_IntClear( vTemp ); while ( 1 ) -- cgit v1.2.3