| Index: tools/line_doc_comments.dart
|
| diff --git a/tools/line_doc_comments.dart b/tools/line_doc_comments.dart
|
| index 705065d8dd554900e9167df19f127bd1363af3cd..52723963ced1cb1a57172a25063e02e4dffdfaca 100755
|
| --- a/tools/line_doc_comments.dart
|
| +++ b/tools/line_doc_comments.dart
|
| @@ -57,11 +57,13 @@ String fixContents(List<String> lines, String path) {
|
| line = null;
|
| } else {
|
| var match = blockLine.firstMatch(line);
|
| - var comment = match[1];
|
| - if (comment != '') {
|
| - line = '$indent/// $comment';
|
| - } else {
|
| - line = '$indent///';
|
| + if (match != null) {
|
| + var comment = match[1];
|
| + if (comment != '') {
|
| + line = '$indent/// $comment';
|
| + } else {
|
| + line = '$indent///';
|
| + }
|
| }
|
| }
|
| } else {
|
|
|