diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:57:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:57:19 -0700 |
| commit | 6f13e63182d95a66ca840ce83349fcb1099ced23 (patch) | |
| tree | e9b77075d29c9f52b9039ab2c7ac747e8ff596e2 /src | |
| parent | 8b1d1dc86b63f07d2203e9d00b4006bc778dbc8b (diff) | |
| download | abc-6f13e63182d95a66ca840ce83349fcb1099ced23.tar.gz abc-6f13e63182d95a66ca840ce83349fcb1099ced23.tar.bz2 abc-6f13e63182d95a66ca840ce83349fcb1099ced23.zip | |
Renaming Cba into Bac.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/bac/bacReadVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) |