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