Index: pkg/dart_messages/bin/publish.dart |
diff --git a/pkg/dart_messages/bin/publish.dart b/pkg/dart_messages/bin/publish.dart |
index 48f0c304c00c42f85a6ea2f4f64e025f14796c42..6ece7949683f7f8c101704a54f551fc2bd914be3 100644 |
--- a/pkg/dart_messages/bin/publish.dart |
+++ b/pkg/dart_messages/bin/publish.dart |
@@ -121,6 +121,7 @@ void emitDart2js() { |
} |
return '"$content"'; |
} |
+ |
for (var example in message.examples) { |
if (example is String) { |
out.write(" "); |