diff options
| -rw-r--r-- | abclib.dsp | 6 | ||||
| -rw-r--r-- | src/base/bac/bacReadVer.c | 2 |
2 files changed, 4 insertions, 4 deletions
@@ -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 ) |