diff options
Diffstat (limited to 'support')
-rw-r--r-- | support/latex/verbfilterScala.java | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/support/latex/verbfilterScala.java b/support/latex/verbfilterScala.java index d71b6b9d3f..5d6fd11e75 100644 --- a/support/latex/verbfilterScala.java +++ b/support/latex/verbfilterScala.java @@ -5,14 +5,13 @@ import java.io.*; public class verbfilterScala { static String[] reserved = { - "abstract", "as", "case", "catch", "class", - "def", "do", "else", "extends", "false", - "final", "finally", "for", "if", "import", - "is", "new", "null", "object", "override", - "package", "private", "protected", "return", - "sealed", "super", "this", "trait", "try", - "true", "type", "val", "var", "with", - "while", "yield"}; + "abstract", "case", "catch", "class", "def", + "do", "else", "extends", "false", "final", + "finally", "for", "if", "import", "new", + "null", "object", "override", "package", "private", + "protected", "return", "sealed", "super", "this", + "trait", "try", "true", "type", "val", + "var", "with", "while", "yield"}; static final int TABINC = 8; |