src/Pure/Tools/update.scala

       Dump.Context(options, progress = progress, dirs = dirs, select_dirs = select_dirs,
         selection = selection)
 
     context.build_logic(logic)
 
-    val path_cartouches = context.session_options.bool("update_path_cartouches")
+    val path_cartouches = context.options.bool("update_path_cartouches")
 
     def update_xml(xml: XML.Body): XML.Body =
       xml flatMap {
         case XML.Wrapped_Elem(markup, body1, body2) =>
           if (markup.name == Markup.UPDATE) update_xml(body1) else update_xml(body2)