diff options
Diffstat (limited to 'src/base/bac/bacReadVer.c')
| -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 ) |