| Index: pkg/kernel/lib/text/ast_to_text.dart
|
| diff --git a/pkg/kernel/lib/text/ast_to_text.dart b/pkg/kernel/lib/text/ast_to_text.dart
|
| index 8fa2c67d26984ca5cb5b9f05713201a24da73905..999db9df11e323047451d92cd5265918cf20668e 100644
|
| --- a/pkg/kernel/lib/text/ast_to_text.dart
|
| +++ b/pkg/kernel/lib/text/ast_to_text.dart
|
| @@ -499,7 +499,11 @@ class Printer extends Visitor<Null> {
|
| if (function.asyncMarker != AsyncMarker.Sync) {
|
| writeSpaced(getAsyncMarkerKeyword(function.asyncMarker));
|
| }
|
| - if (!function.debuggable) writeSpaced("/* not debuggable */");
|
| + if (function.originalAsyncMarker != AsyncMarker.Sync) {
|
| + writeSpaced("/* originally");
|
| + writeSpaced(getAsyncMarkerKeyword(function.originalAsyncMarker));
|
| + writeSpaced("*/");
|
| + }
|
| if (function.body != null) {
|
| writeFunctionBody(function.body, terminateLine: terminateLine);
|
| } else if (terminateLine) {
|
|
|