From 2ef79300ef5efb3f147086497469e5b06f050fae Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 18 Sep 2019 19:11:52 -0700
Subject: [PATCH] Bug fix in &trace.

---
 src/aig/gia/giaSpeedup.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/aig/gia/giaSpeedup.c b/src/aig/gia/giaSpeedup.c
index 0d5939935..b9f4f0371 100644
--- a/src/aig/gia/giaSpeedup.c
+++ b/src/aig/gia/giaSpeedup.c
@@ -246,6 +246,7 @@ float Gia_ManDelayTraceLut( Gia_Man_t * p )
 
     // initialize the arrival times
     Gia_ManTimeStart( p );
+    Gia_ManLevelNum( p );
 
     // propagate arrival times
     if ( p->pManTime )