diff -r af30b8875733 -r fed0251b7939 src/Tools/Code/code_namespace.ML
--- a/src/Tools/Code/code_namespace.ML	Thu Nov 25 14:59:01 2010 +0100
+++ b/src/Tools/Code/code_namespace.ML	Thu Nov 25 15:40:41 2010 +0100
@@ -121,9 +121,11 @@
     val deresolver_tab = Symtab.make (AList.make
       (uncurry classify_names o Graph.get_node flat_program)
         (Graph.keys flat_program));
-    fun deresolver module_name name =
-      the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
-      handle Option => error ("Unknown statement name: " ^ labelled_name name);
+    fun deresolver "" name =
+          Long_Name.append (fst (dest_name name)) (base_deresolver name)
+      | deresolver module_name name =
+          the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
+          handle Option => error ("Unknown statement name: " ^ labelled_name name);
 
   in { deresolver = deresolver, flat_program = flat_program } end;