diff options
| -rw-r--r-- | src/map/if/ifTest.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c index efca2e10..2b42521c 100644 --- a/src/map/if/ifTest.c +++ b/src/map/if/ifTest.c @@ -239,6 +239,7 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs ) assert( nCountFanins > 0 ); nCountFanins--; } + ThData[i].Id = -1; } if ( Vec_IntSize(vStack) > 0 ) { |