compatible with 4.03: unattached doc comment

2019-05-26 13:46:10 +08:00 · 2019-05-26 13:46:10 +08:00 · a07156ca80
parent ff6665daca
commit a07156ca80
1 changed files with 1 additions and 0 deletions
--- a/src/lib/uTop.mli
+++ b/src/lib/uTop.mli
@ -364,6 +364,7 @@ val set_load_path : string list -> unit

      The internal variable contains the list of directories added by findlib-required packages
      and [#directory] directives. *)
+
 (**/**)

 (* These variables are not used and deprecated: *)