# HG changeset patch
# User wenzelm
# Date 1238497171 -7200
# Node ID a489921b77f451592479f01c63a1fae4ebf75063
# Parent  a0863fcd9bbfe50f30ab9466e7875635df007028# Parent  17bd1cf53d8ef4c583d55bb7cd75af0e74528c08
merged

diff -r a0863fcd9bbf -r a489921b77f4 src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Tue Mar 31 12:07:17 2009 +0200
+++ b/src/Pure/Thy/thy_info.ML	Tue Mar 31 12:59:31 2009 +0200
@@ -371,7 +371,7 @@
 
     val futures = fold fork tasks Symtab.empty;
 
-    val exns = rev tasks |> maps (fn (name, _) =>
+    val exns = tasks |> maps (fn (name, _) =>
       let
         val after_load = Future.join (the (Symtab.lookup futures name));
         val proof_exns = join_thy name;