| Index: pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| diff --git a/pkg/front_end/lib/src/fasta/deprecated_problems.dart b/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| index b7a6453705bb1fdf29537a5e4318d61cc2aa26c6..90897d9eeae9ec76da1194649b12facc80bcceed 100644
|
| --- a/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| +++ b/pkg/front_end/lib/src/fasta/deprecated_problems.dart
|
| @@ -29,7 +29,7 @@ Uri firstSourceUri;
|
| /// Used to report an error in input.
|
| ///
|
| /// Avoid using this for reporting compile-time errors, instead use
|
| -/// `LibraryBuilder.deprecated_addCompileTimeError` for those.
|
| +/// `LibraryBuilder.addCompileTimeError` for those.
|
| ///
|
| /// An input error is any error that isn't an internal error. We use the term
|
| /// "input error" in favor of "user error". This way, if an input error isn't
|
|
|