src/Pure/context_position.ML

 end;
 
 structure Context_Position: CONTEXT_POSITION =
 struct
 
-structure Data = ProofDataFun
+structure Data = Proof_Data
 (
   type T = bool;
   fun init _ = true;
 );