src/Pure/ML-Systems/ml_parse_tree.ML

 *)
 
 signature ML_PARSE_TREE =
 sig
   val completions: PolyML.ptProperties -> string list option
-  val break_point: PolyML.ptProperties -> bool Unsynchronized.ref option
+  val breakpoint: PolyML.ptProperties -> bool Unsynchronized.ref option
 end;
 
 structure ML_Parse_Tree: ML_PARSE_TREE =
 struct
 
 fun completions _ = NONE;
-fun break_point _ = NONE;
+fun breakpoint _ = NONE;
 
 end;