From 170309d6fb4c6541ccacba579a69b491325f8528 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 49e19aa3ad..ec9ebef935 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