Index: lib/src/report.dart |
diff --git a/lib/src/report.dart b/lib/src/report.dart |
index a0baa3aead7f66f95630177212cb8cb1cfe2e256..d7cc1ae8f74e41935d20138dbfa447a41880edab 100644 |
--- a/lib/src/report.dart |
+++ b/lib/src/report.dart |
@@ -204,7 +204,7 @@ class _Table { |
while (abbreviations[headerName] != null) headerName = "$headerName'"; |
abbreviations[headerName] = name; |
} |
- widths.add(max(5, headerName.length + 1)); |
+ widths.add(max(5, headerName.length + 1) as int); |
header.add(headerName); |
_totalColumns++; |
} |