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