diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-02 17:58:05 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-02 17:58:05 -0500 |
| commit | f6dc4a588c81177ac198723381b5459909357d01 (patch) | |
| tree | f06f92ab4aa82992cc645b54a29eff3784f323cc /src/map | |
| parent | c4b12fae6d9c62f63205b6680b44e02b92639eb7 (diff) | |
| download | abc-f6dc4a588c81177ac198723381b5459909357d01.tar.gz abc-f6dc4a588c81177ac198723381b5459909357d01.tar.bz2 abc-f6dc4a588c81177ac198723381b5459909357d01.zip | |
Making sure arrival time of constant node is -infinity.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifMap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index afeba005..bd8ebed7 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -633,6 +633,8 @@ int If_ManPerformMappingRound( If_Man_t * p, int nCutsUsed, int Mode, int fPrepr } else if ( If_ObjIsConst1(pObj) ) { + arrTime = -IF_INFINITY; + If_ObjSetArrTime( pObj, arrTime ); } else assert( 0 ); |