diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/latex/verbfilterScala.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/latex/verbfilterScala.java b/support/latex/verbfilterScala.java index 67de443798..5c8cf85d13 100644 --- a/support/latex/verbfilterScala.java +++ b/support/latex/verbfilterScala.java @@ -5,9 +5,9 @@ import java.io.*; public class verbfilterScala { static String[] reserved = { - "abstract", "case", "class", "def", "do", "else", + "abstract", "as", "case", "class", "constr", "def", "do", "else", "extends", "false", "final", "for", "if", "import", - "module", "new", "null", "object", "override", "package", + "is", "new", "null", "object", "override", "package", "private", "protected", "super", "this", "trait", "true", "type", "val", "var", "with", "yield"}; |