diff options
-rw-r--r-- | sources/scalac/util/Names.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/util/Names.java b/sources/scalac/util/Names.java index 8c7ecdb5c4..10ddafedb9 100644 --- a/sources/scalac/util/Names.java +++ b/sources/scalac/util/Names.java @@ -141,6 +141,8 @@ public class Names { public static final Name true_ = Name.fromString("true"); public static final Name update = Name.fromString("update"); + public static final Name tag = Name.fromString("$tag"); + public static final Name ZNOT = encode("!"), ZAND = encode("&&"), |