# HG changeset patch
# User wenzelm
# Date 1622835974 -7200
# Node ID 1262fefabc9a2b88dc93861405fd1f7524fbf9e9
# Parent  1ca35197108fd1cf45f27675696e9fbb2383e410
no comment --- topological order appears to be fine since 04-Mar-2013;

diff -r 1ca35197108f -r 1262fefabc9a src/Pure/Thy/thy_info.ML
--- a/src/Pure/Thy/thy_info.ML	Fri Jun 04 21:36:42 2021 +0200
+++ b/src/Pure/Thy/thy_info.ML	Fri Jun 04 21:46:14 2021 +0200
@@ -254,7 +254,6 @@
           {name = "present", sequential = sequential_presentation (Options.default ())}
           (fn result => Exn.capture (result_present result) ());
 
-    (* FIXME more precise commit order (!?) *)
     val results3 = futures
       |> map (fn future => Exn.capture (fn () => result_commit (Future.join future) ()) ());