improved cycle error;

--- a/src/Pure/Thy/thy_info.ML	Thu Sep 23 18:39:05 1999 +0200
+++ b/src/Pure/Thy/thy_info.ML	Thu Sep 23 18:42:28 1999 +0200
@@ -250,7 +250,6 @@
 
 fun load_thy ml time initiators dir name parents =
   let
-    val _ = if name mem_string initiators then error (cycle_msg name (rev initiators)) else ();
     val _ = writeln ("Loading theory " ^ quote name ^ required_by initiators);
 
     val _ = touch_thy name;
@@ -299,6 +298,7 @@
     val path = Path.expand (Path.unpack str);
     val name = Path.pack (Path.base path);
   in
+    if name mem_string initiators then error (cycle_msg name initiators) else ();
     if name mem_string visited then (visited, (true, name))
     else
       let