# HG changeset patch
# User wenzelm
# Date 1517140655 -3600
# Node ID 6ff47e27c32d4cf80a09dc12f530b3656465b53e
# Parent  6905b156a03038c3cdc0981bb4d493ac7e275a8f
proper signature (amending c4e9e0c50487);

diff -r 6905b156a030 -r 6ff47e27c32d src/Pure/ML/ml_process.scala
--- a/src/Pure/ML/ml_process.scala	Sat Jan 27 20:35:34 2018 +0100
+++ b/src/Pure/ML/ml_process.scala	Sun Jan 28 12:57:35 2018 +0100
@@ -107,7 +107,7 @@
 
           List("Resources.init_session_base" +
             " {sessions = " + print_sessions(base.known.sessions.toList) +
-            ", doc_names = " + print_list(base.doc_names) +
+            ", docs = " + print_list(base.doc_names) +
             ", global_theories = " + print_table(base.global_theories.toList) +
             ", loaded_theories = " + print_list(base.loaded_theories.keys) +
             ", known_theories = " + print_table(base.dest_known_theories) + "}")