| Index: pkg/front_end/messages.yaml
|
| diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml
|
| index 94cb4153fc619e154cc31e99ea5bdc520c9ce948..9f362765c6d6d56984016d55c4f840016c66ba54 100644
|
| --- a/pkg/front_end/messages.yaml
|
| +++ b/pkg/front_end/messages.yaml
|
| @@ -660,6 +660,9 @@ InternalProblemProvidedBothCompileSdkAndSdkSummary:
|
| InternalProblemUriMissingScheme:
|
| template: "The URI '#uri' has no scheme."
|
|
|
| +InternalProblemExportedLibraryNotLoaded:
|
| + template: "The library '#uri' isn't loaded, but '#uri2' exports it."
|
| +
|
| InternalVerificationError:
|
| template: "Verification of the generated program failed: #string."
|
|
|
|
|