| Index: dart/pkg/compiler/lib/src/script.dart
|
| diff --git a/dart/pkg/compiler/lib/src/script.dart b/dart/pkg/compiler/lib/src/script.dart
|
| index 54bd63153254e7867f878e27d72e10211eaa71b6..fcdf8905f4f5f9857aad287a04950fc252c6258b 100644
|
| --- a/dart/pkg/compiler/lib/src/script.dart
|
| +++ b/dart/pkg/compiler/lib/src/script.dart
|
| @@ -22,7 +22,12 @@ class Script {
|
| */
|
| final Uri resourceUri;
|
|
|
| - Script(this.readableUri, this.resourceUri, this.file);
|
| + /// This script was synthesized.
|
| + final bool isSynthesized;
|
| +
|
| + Script(
|
| + this.readableUri, this.resourceUri, this.file,
|
| + {this.isSynthesized: false});
|
|
|
| String get text => (file == null) ? null : file.slowText();
|
| String get name => (file == null) ? null : file.filename;
|
|
|