| 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++;
|
| }
|
|
|