src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Mon Jun 26 11:07:48 2017 +0200
+++ b/src/Pure/PIDE/document.scala	Mon Jun 26 15:57:20 2017 +0200
@@ -123,6 +123,7 @@
       override def toString: String = if (is_theory) theory else node
 
       def map(f: String => String): Name = copy(f(node), f(master_dir), theory)
+      def map_theory(f: String => String): Name = copy(node, master_dir, f(theory))
     }