src/Pure/ML/ml_compiler.ML

     (case Position.offset_of pos of
       NONE => pos
     | SOME 1 => pos
     | SOME j =>
         Position.properties_of pos
-        |> Properties.put (Markup.offsetN, Markup.print_int (j - 1))
+        |> Properties.put (Markup.offsetN, Value.print_int (j - 1))
         |> Position.of_properties)
   end;
 
 fun report_parse_tree redirect depth name_space parse_tree =
   let

         val pos = Exn_Properties.position_of_polyml_location loc;
       in
         is_reported pos ?
           let
             fun markup () =
-              (Markup.entityN, [(if def then Markup.defN else Markup.refN, Markup.print_int id)]);
+              (Markup.entityN, [(if def then Markup.defN else Markup.refN, Value.print_int id)]);
           in cons (pos, markup, fn () => "") end
       end;
 
     fun reported_completions loc names =
       let val pos = Exn_Properties.position_of_polyml_location loc in