From 9466ba0e758d6f3ae097cff4af23ec853af4c4b8 Mon Sep 17 00:00:00 2001
From: chunhtai <47866232+chunhtai@users.noreply.github.com>
Date: Thu, 30 May 2019 11:59:07 -0700
Subject: [PATCH] fix 23723 rounding error (#33473)

---
 packages/flutter/lib/src/rendering/table.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/flutter/lib/src/rendering/table.dart b/packages/flutter/lib/src/rendering/table.dart
index 49e19aa3ad98..ec9ebef93518 100644
--- a/packages/flutter/lib/src/rendering/table.dart
+++ b/packages/flutter/lib/src/rendering/table.dart
@@ -879,7 +879,7 @@ class RenderTable extends RenderBox {
             }
           }
         }
-        assert(tableWidth >= targetWidth);
+        assert(tableWidth + precisionErrorTolerance >= targetWidth);
       }
     } // step 2 and 3 are mutually exclusive