# HG changeset patch
# User wenzelm
# Date 875720480 -7200
# Node ID 6a4f3b976db3fb706f22bd56951055915b53529a
# Parent  fe7719aee2193785022bf031dee02ca417767416
fully qualified name: Theory.merge_thy_list;

diff -r fe7719aee219 -r 6a4f3b976db3 src/Pure/Thy/thy_read.ML
--- a/src/Pure/Thy/thy_read.ML	Wed Oct 01 17:40:09 1997 +0200
+++ b/src/Pure/Thy/thy_read.ML	Wed Oct 01 17:41:20 1997 +0200
@@ -475,7 +475,7 @@
       val mergelist = load_base bases;
 
       val base_thy = (writeln ("Loading theory " ^ (quote child));
-                      merge_thy_list mk_draft (map theory_of mergelist));
+                      Theory.merge_thy_list mk_draft (map theory_of mergelist));
 
       val datas =
         let fun get_data t =