From 4d37d4d92fbc69a67a4e22af80a2acc42dff5e63 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 17 May 2008 08:01:00 -0700
Subject: Version abc80517

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

(limited to 'src/aig/ntl/ntlMap.c')

diff --git a/src/aig/ntl/ntlMap.c b/src/aig/ntl/ntlMap.c
index faae32d2..c6e80e75 100644
--- a/src/aig/ntl/ntlMap.c
+++ b/src/aig/ntl/ntlMap.c
@@ -129,7 +129,7 @@ void Ntl_ManSetIfParsDefault( If_Par_t * pPars )
     pPars->nFlowIters  =  1;
     pPars->nAreaIters  =  2;
     pPars->DelayTarget = -1;
-    pPars->Epsilon     =  (float)0.001;
+    pPars->Epsilon     =  (float)0.005;
     pPars->fPreprocess =  1;
     pPars->fArea       =  0;
     pPars->fFancy      =  0;
-- 
cgit v1.2.3