From e3dee0ab5b157b9bb2bc3eccebf6bf98b55d4013 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Tue, 17 Jan 2023 17:04:34 +0000
Subject: [PATCH] Add missing `@since` tag in new function's odoc
---
src/kernel_services/analysis/interpreted_automata.mli | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/kernel_services/analysis/interpreted_automata.mli b/src/kernel_services/analysis/interpreted_automata.mli
index 4c9064e96f7..5491f8cdf15 100644
--- a/src/kernel_services/analysis/interpreted_automata.mli
+++ b/src/kernel_services/analysis/interpreted_automata.mli
@@ -348,7 +348,9 @@ sig
val iter_stmt : (Cil_types.stmt -> state -> unit) -> result -> unit
(** Same as [iter_stmt] but guarantee that the iteration will always
- be in the same increasing order of statements sid *)
+ be in the same increasing order of statements sid.
+
+ @since Frama-C+dev *)
val iter_stmt_asc : (Cil_types.stmt -> state -> unit) -> result -> unit
(** Output result to the given channel. Must be supplied with a pretty
--
GitLab