Recall that the Skula
modification SkX of a topological space X is the space with the same underlying set
as X whose topology is generated by the topology ΩX of X and the closed
subsets of X. R. E. Hoffmann characterizes the spaces X for which SkX
is compact Hausdorff as the noetherian sober spaces. The object of this
note is to give a simple proof of the analogue of this characterization for
frames and to show how our result for frames applies to the original one for
spaces.