diff -r 2f43fffbba1a -r 2053638a2bf2 src/Tools/Code/code_scala.ML --- a/src/Tools/Code/code_scala.ML Wed Sep 29 09:21:26 2010 +0200 +++ b/src/Tools/Code/code_scala.ML Wed Sep 29 10:05:44 2010 +0200 @@ -430,7 +430,7 @@ "true", "type", "val", "var", "while", "with", "yield" ] #> fold (Code_Target.add_reserved target) [ - "apply", "error", "BigInt", "Nil", "List" + "apply", "error", "scala", "BigInt", "Nil", "List" ]; end; (*struct*)