From 5be3d0f453c2a80a9fd4ae54387eea30e8fc17d9 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 24 Feb 2020 16:34:31 +0100
Subject: [PATCH] [db] Rework doc to please ocamldoc.
---
src/kernel_services/plugin_entry_points/db.mli | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/db.mli b/src/kernel_services/plugin_entry_points/db.mli
index 6f1fde19394..85362586ac3 100644
--- a/src/kernel_services/plugin_entry_points/db.mli
+++ b/src/kernel_services/plugin_entry_points/db.mli
@@ -1339,7 +1339,7 @@ module Derefs : INOUT with type t = Locations.Zone.t
@plugin development guide
@deprecated Frama-C+dev *)
val progress: (unit -> unit) ref
-[@@ deprecated "Use {!yield} instead"]
+[@@ deprecated "Use Db.yield instead."]
(** Registered daemon on progress. *)
type daemon
@@ -1391,11 +1391,9 @@ val cancel : unit -> unit
notes : (1) (2) (3)
]}
- 1. First yield, normal trigger.
-
- 2. Debounced yields leads to this second trigger.
-
- 3. Delayed warning invoked since there was no yield for more than debounced period.
+ {ol {li First yield, normal trigger.}
+ {li Debounced yields leads to this second trigger.}
+ {li Delayed warning invoked since there was no yield for more than debounced period.}}
*)
val with_progress :
?debounced:int -> ?on_delayed:(int -> unit) ->
--
GitLab