fix Makefile bug for lintapidiff and add missing @since in stdlib/format.mli

(cherry picked from commit 4b323be96a920b6e65d948f700d8568029fa13dd)
master
Damien Doligez 2017-11-03 11:38:51 +01:00 committed by Gabriel Scherer
parent 940ffca830
commit 1252941d4e
2 changed files with 3 additions and 1 deletions

View File

@ -1130,7 +1130,7 @@ lintapidiff:
$(MAKE) -C tools lintapidiff.opt
git ls-files -- 'otherlibs/*/*.mli' 'stdlib/*.mli' |\
grep -Ev internal\|obj\|spacetime\|stdLabels\|moreLabels |\
tools/lintapidiff.opt $VERSIONS
tools/lintapidiff.opt $(VERSIONS)
# Make clean in the test suite

View File

@ -918,6 +918,8 @@ val flush_symbolic_output_buffer :
val add_symbolic_output_item :
symbolic_output_buffer -> symbolic_output_item -> unit
(** [add_symbolic_output_item sob itm] adds item [itm] to buffer [sob].
@since 4.06.0
*)
val formatter_of_symbolic_output_buffer : symbolic_output_buffer -> formatter