1 files changed, 4 insertions, 4 deletions
diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c
index 52603671..ad37b77f 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -1106,8 +1106,8 @@ float If_CutAreaDerefed( If_Man_t * p, If_Cut_t * pCut )
         return 0;
     aResult2 = If_CutAreaRef( p, pCut );
     aResult  = If_CutAreaDeref( p, pCut );
-    assert( aResult > aResult2 - p->fEpsilon );
-    assert( aResult < aResult2 + p->fEpsilon );
+    assert( aResult > aResult2 - 3*p->fEpsilon );
+    assert( aResult < aResult2 + 3*p->fEpsilon );
     return aResult;
 }
 
@@ -1207,8 +1207,8 @@ float If_CutEdgeDerefed( If_Man_t * p, If_Cut_t * pCut )
         return pCut->nLeaves;
     aResult2 = If_CutEdgeRef( p, pCut );
     aResult  = If_CutEdgeDeref( p, pCut );
-    assert( aResult > aResult2 - p->fEpsilon );
-    assert( aResult < aResult2 + p->fEpsilon );
+    assert( aResult > aResult2 - 3*p->fEpsilon );
+    assert( aResult < aResult2 + 3*p->fEpsilon );
     return aResult;
 }