# HG changeset patch
# User wenzelm
# Date 938104948 -7200
# Node ID 59663b367833b48bc1efab9114ad2b615dedd156
# Parent  26384af933590d6202ac3b029faa97995cefde68
improved cycle error;

diff -r 26384af93359 -r 59663b367833 src/Pure/Thy/thy_info.ML
--- 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