fix 23723 rounding error (#33473)

2019-05-30 11:59:07 -07:00 · 2019-05-30 11:59:07 -07:00 · 170309d6fb
commit 170309d6fb
parent c7c0965cc5
1 changed files with 1 additions and 1 deletions
--- 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