src/Pure/Thy/thy_info.ML
changeset 44247 270366301bd7
parent 44225 a8f921e6484f
child 44302 0a1934c5c104
--- a/src/Pure/Thy/thy_info.ML	Wed Aug 17 20:08:36 2011 +0200
+++ b/src/Pure/Thy/thy_info.ML	Wed Aug 17 22:14:22 2011 +0200
@@ -207,7 +207,7 @@
                   " (unresolved " ^ commas_quote (map #1 bad) ^ ")") [])))
     | Finished thy => Future.value (thy, Future.value (), I)))
   #> maps (fn result => (finish_thy (Future.join result); []) handle exn => [Exn.Exn exn])
-  #> rev #> Exn.release_all) #> ignore;
+  #> rev #> Par_Exn.release_all) #> ignore;
 
 in