src/Pure/Thy/thy_load.ML
changeset 37216 3165bc303f66
parent 33221 5bb809208876
child 37902 4e7864f3643d
--- a/src/Pure/Thy/thy_load.ML	Mon May 31 19:36:13 2010 +0200
+++ b/src/Pure/Thy/thy_load.ML	Mon May 31 21:06:57 2010 +0200
@@ -31,10 +31,9 @@
   val load_ml: Path.T -> Path.T -> Path.T * File.ident
 end;
 
-structure ThyLoad: THY_LOAD =
+structure Thy_Load: THY_LOAD =
 struct
 
-
 (* maintain load path *)
 
 local val load_path = Unsynchronized.ref [Path.current] in
@@ -132,5 +131,5 @@
 
 end;
 
-structure Basic_Thy_Load: BASIC_THY_LOAD = ThyLoad;
+structure Basic_Thy_Load: BASIC_THY_LOAD = Thy_Load;
 open Basic_Thy_Load;