From c397a8404055abdfe8b1c885498e5a834ffc32ff Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 21 May 2013 18:14:08 +0400
Subject: [PATCH] Support deserializing special names

---
 .../jetbrains/jet/descriptors/serialization/NameResolver.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/NameResolver.java b/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/NameResolver.java
index 545d5e3b9ce..ce3a95eb6cc 100644
--- a/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/NameResolver.java
+++ b/compiler/frontend/serialization/src/org/jetbrains/jet/descriptors/serialization/NameResolver.java
@@ -44,7 +44,7 @@ public class NameResolver {
     @NotNull
     public Name getName(int index) {
         String name = simpleNames.getNames(index);
-        return Name.identifier(name);
+        return Name.guess(name);
     }
 
     @Nullable