From b632c8496cc48bb8be0851ea2c183f94c201f791 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 5 Mar 2019 15:07:10 -0800
Subject: Fixing some warnings with -Wconversion.

---
 src/aig/gia/gia.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/gia/gia.h')

diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h
index d386f8ba..698903da 100644
--- a/src/aig/gia/gia.h
+++ b/src/aig/gia/gia.h
@@ -356,7 +356,7 @@ struct Jf_Par_t_
     word           WordMapDelay;
     word           WordMapArea;
     word           WordMapDelayTarget;
-    float          MapDelay;
+    int            MapDelay;
     float          MapArea;
     float          MapAreaF;
     float          MapDelayTarget;
-- 
cgit v1.2.3