- Just (_, _, _, _, _, dump_deriv) -> dump_deriv
- Nothing -> empty) >>
+ Just (_, _, _, _, _, dump_deriv, _, _) -> dump_deriv
+ Nothing -> empty) >>
+
+ -- write the thin-air Id map
+ (case maybe_result of
+ Just (_, _, _, _, _, _, _, thin_air_ids) -> setThinAirIds thin_air_ids
+ Nothing -> return ()
+ ) >>