src/Pure/Thy/thy_info.ML

   Graph.topological_order tasks
   |> List.app (fn name =>
     (case Graph.get_node tasks name of
       Task body =>
         let val after_load = body ()
-        in after_load () handle exn => (kill_thy name; raise exn) end
+        in after_load () handle exn => (kill_thy name; reraise exn) end
     | _ => ()));
 
 in
 
 fun schedule_tasks tasks n =