update compile_top_divergence