diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2017-01-25 13:40:31 +0900 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-01-25 13:40:31 +0900 |
| commit | 876eb5a52e67911ccc19d5f732aa9e1c9279fd26 (patch) | |
| tree | 4a78999c29676235f613b4e1f8e1d1d0983107ba /src/proof/pdr/pdrUtil.c | |
| parent | 123b425052636beceaa52e47ea695d35b75fb40a (diff) | |
| parent | 51f4dab475af1ffd22d23b5aeb8d7cf243739f75 (diff) | |
| download | abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.tar.gz abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.tar.bz2 abc-876eb5a52e67911ccc19d5f732aa9e1c9279fd26.zip | |
Merged alanmi/abc into default
Diffstat (limited to 'src/proof/pdr/pdrUtil.c')
| -rw-r--r-- | src/proof/pdr/pdrUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrUtil.c b/src/proof/pdr/pdrUtil.c index 53a8a54a..32e97772 100644 --- a/src/proof/pdr/pdrUtil.c +++ b/src/proof/pdr/pdrUtil.c @@ -284,7 +284,7 @@ void Pdr_SetPrintStr( Vec_Str_t * vStr, Pdr_Set_t * p, int nRegs, Vec_Int_t * vF } Vec_StrPushBuffer( vStr, pBuff, k ); Vec_StrPush( vStr, ' ' ); - Vec_StrPush( vStr, '0' ); + Vec_StrPush( vStr, '1' ); Vec_StrPush( vStr, '\n' ); ABC_FREE( pBuff ); } |