fix 23723 rounding error (flutter#33473)

kiku-jw · Jun 14, 2019 · 9466ba0 · 9466ba0
1 parent 7d32bf4
commit 9466ba0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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