1 files changed, 1 insertions, 1 deletions
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;