diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-03-07 16:01:40 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-03-07 16:01:40 +0000 |
| commit | be7a96e1b5f518421414a81298cad41cb8e52bf5 (patch) | |
| tree | 11f2e3b1b1c5ca3a5ff163d964b77afb631d2008 /sources/scalac/util | |
| parent | 4d43c508f360efa148448b474cd995e5efa0344b (diff) | |
| download | scala-be7a96e1b5f518421414a81298cad41cb8e52bf5.tar.gz scala-be7a96e1b5f518421414a81298cad41cb8e52bf5.tar.bz2 scala-be7a96e1b5f518421414a81298cad41cb8e52bf5.zip | |
*** empty log message ***
Diffstat (limited to 'sources/scalac/util')
| -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 a70d6beedb..7a39afe3f5 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -56,6 +56,7 @@ public class Names { public static final Name Unit = Name.fromString("Unit"); public static final Name apply = Name.fromString("apply"); public static final Name as = Name.fromString("as"); + public static final Name box = Name.fromString("box"); public static final Name elem = Name.fromString("elem"); public static final Name filter = Name.fromString("filter"); public static final Name flatmap = Name.fromString("flatMap"); |