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 { |