diff options
| author | Martin Odersky <odersky@gmail.com> | 2004-03-15 14:01:05 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2004-03-15 14:01:05 +0000 |
| commit | 435fe5da695f35581f03b5a739d2ed5e8f58842c (patch) | |
| tree | 0ffa8e7ebc0ea2062dbaac459e7f26c7ace00936 /sources/scalac/util/Names.java | |
| parent | 0bdcdc7c9f714575f5d3f4882108dc377f9819dd (diff) | |
| download | scala-435fe5da695f35581f03b5a739d2ed5e8f58842c.tar.gz scala-435fe5da695f35581f03b5a739d2ed5e8f58842c.tar.bz2 scala-435fe5da695f35581f03b5a739d2ed5e8f58842c.zip | |
*** empty log message ***
Diffstat (limited to 'sources/scalac/util/Names.java')
| -rw-r--r-- | sources/scalac/util/Names.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 9824c2cf9a..ac8917a752 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -213,6 +213,7 @@ public class Names { public static final Name throw_ = Name.fromString("throw"); public static final Name true_ = Name.fromString("true"); public static final Name update = Name.fromString("update"); + public static final Name view = Name.fromString("view"); public static final Name tag = Name.fromString("$tag"); |