From 303baf27cf34c2a57db97c4c567fd744241fa14b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Jul 2008 08:01:00 -0700
Subject: Version abc80702

---
 src/aig/bbr/bbrImage.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/aig/bbr/bbrImage.c')

diff --git a/src/aig/bbr/bbrImage.c b/src/aig/bbr/bbrImage.c
index 234ae3f8..f362162c 100644
--- a/src/aig/bbr/bbrImage.c
+++ b/src/aig/bbr/bbrImage.c
@@ -939,7 +939,7 @@ int Bbr_FindBestVariable( DdManager * dd,
     int iVarBest, v;
     double CostBest, CostCur;
 
-    CostBest = 100000000000000;
+    CostBest = 100000000000000.0;
     iVarBest = -1;
     for ( v = 0; v < nVars; v++ )
         if ( pVars[v] )
-- 
cgit v1.2.3