Index: pkg/front_end/messages.yaml |
diff --git a/pkg/front_end/messages.yaml b/pkg/front_end/messages.yaml |
index dcdf49fc8b05a1a14848609188fa64f7b8437b6c..da15f8f79d35d3ad7c116dd474a68c89f5175c10 100644 |
--- a/pkg/front_end/messages.yaml |
+++ b/pkg/front_end/messages.yaml |
@@ -807,3 +807,12 @@ ThisAsIdentifier: |
SuperAsIdentifier: |
template: "Expected identifier, but got 'super'." |
+ |
+SwitchCaseFallThrough: |
+ template: "Switch case may fall through to next case." |
Johnni Winther
2017/07/13 09:11:52
to next case -> to the next case
ahe
2017/07/13 11:14:19
Done.
|
+ |
+FinalInstanceVariableAlreadyInitialized: |
+ template: "'#name' is final instance variable that has already been initialized." |
Johnni Winther
2017/07/13 09:11:51
is final -> is a final
ahe
2017/07/13 11:14:19
Done.
|
+ |
+FinalInstanceVariableAlreadyInitializedCause: |
+ template: "'#name' was initialized here." |
Johnni Winther
2017/07/13 09:11:52
Kilroy was here!
ahe
2017/07/13 11:14:20
Acknowledged.
|