From f6dc4a588c81177ac198723381b5459909357d01 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 2 Jan 2020 17:58:05 -0500
Subject: Making sure arrival time of constant node is -infinity.

---
 src/map/if/ifMap.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/map/if/ifMap.c')

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 );
-- 
cgit v1.2.3