# HG changeset patch
# User wenzelm
# Date 1275385044 -7200
# Node ID d416e49b3926a13c5a4b09e5802a74e605bbdf7a
# Parent  7c5311e54ea40e55ef61ad9416c3fe104beba589
keep structure ThyLoad for the sake of Proof General;

diff -r 7c5311e54ea4 -r d416e49b3926 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Jun 01 09:12:12 2010 +0200
+++ b/src/Pure/ROOT.ML	Tue Jun 01 11:37:24 2010 +0200
@@ -305,9 +305,11 @@
 structure PrintMode = Print_Mode;
 structure SpecParse = Parse_Spec;
 structure ThyInfo = Thy_Info;
-structure ThyLoad = Thy_Load;
 structure ThyOutput = Thy_Output;
 structure TypeInfer = Type_Infer;
 
 end;
 
+structure ThyLoad = Thy_Load;  (*Proof General legacy*)
+
+