diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 9046244f..a697ee16 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1556,9 +1556,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) // reset the counter of frames without change nCountNoChange = 1; // cancel old one if it was sent - if ( fOneIsSent ) - Gia_VtaSendCancel( p, pPars->fVerbose ); - fOneIsSent = 0; +// if ( fOneIsSent ) +// Gia_VtaSendCancel( p, pPars->fVerbose ); +// fOneIsSent = 0; } else if ( ++nCountNoChange == 2 ) // time to send { |