Renaming Cba into Bac.

6f13e631 · Alan Mishchenko · 8b1d1dc8 · 6f13e631 · 6f13e631
Commit 6f13e631 authored Jul 21, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 4 deletions

abclib.dsp
+3 -3

src/base/bac/bacReadVer.c
+1 -1

No files found.
--- 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


--- 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 )