diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:51:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-21 17:51:28 -0700 |
| commit | 91b62b3bb8ee38938d4119d4cbd2360a652974bd (patch) | |
| tree | 0d4207652a871a2e8118ef98cf4b70b3a7f6a19d /src/base/cba/cbaReadVer.c | |
| parent | 477ecc172f3d9088bf6ecd21044b9d1c758d7b64 (diff) | |
| download | abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.tar.gz abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.tar.bz2 abc-91b62b3bb8ee38938d4119d4cbd2360a652974bd.zip | |
Renaming Cba into Bac.
Diffstat (limited to 'src/base/cba/cbaReadVer.c')
| -rw-r--r-- | src/base/cba/cbaReadVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/cba/cbaReadVer.c b/src/base/cba/cbaReadVer.c index ed825ba1..67a7c3b7 100644 --- a/src/base/cba/cbaReadVer.c +++ b/src/base/cba/cbaReadVer.c @@ -447,7 +447,7 @@ static inline int Prs_ManReadSignal( Prs_Man_t * p ) return Abc_Var2Lit2( Item, CBA_PRS_NAME ); } } -static int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm ) +int Prs_ManReadSignalList( Prs_Man_t * p, Vec_Int_t * vTemp, char LastSymb, int fAddForm ) { Vec_IntClear( vTemp ); while ( 1 ) |