# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1473336199 -7200
# Node ID 077db54bcdc19c320f047b592c4cde9146c89e02
# Parent  0963a16cdfa5714f7e0eadabb3c41b172050d3a3
Fixed retrieval of cached name references.

diff -r 0963a16cdfa5 -r 077db54bcdc1 modules.py
--- a/modules.py	Tue Sep 06 23:48:51 2016 +0200
+++ b/modules.py	Thu Sep 08 14:03:19 2016 +0200
@@ -439,8 +439,8 @@
         f.readline() # "name references:"
         line = f.readline().rstrip()
         while line:
-            name, value = self._get_fields(line)
-            self.name_references[name] = value
+            name, ref = self._get_fields(line)
+            self.importer.all_name_references[name] = self.name_references[name] = decode_reference(ref)
             line = f.readline().rstrip()
 
     def _get_initialised_names(self, f):