From fa324317df481ba90e582db52685aeb8540ac7bf Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 29 Sep 2023 18:24:36 +0200
Subject: [PATCH] [doc] cleanup odoc comments in cfg.mli
---
src/kernel_internals/typing/cfg.mli | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/kernel_internals/typing/cfg.mli b/src/kernel_internals/typing/cfg.mli
index 0cc33e23112..b040cda0b17 100644
--- a/src/kernel_internals/typing/cfg.mli
+++ b/src/kernel_internals/typing/cfg.mli
@@ -42,14 +42,15 @@
(****************************************************************************)
(** Code to compute the control-flow graph of a function or file.
- This will fill in the [preds] and [succs] fields of {!Cil.stmt}
+ This will fill in the [preds] and [succs] fields of {!Cil_types.stmt}
This is nearly always automatically done by the kernel. You only need
those functions if you build {!Cil_types.fundec} yourself. *)
open Cil_types
-(** Compute the CFG for an entire file, by calling cfgFun on each function. *)
+(** Compute the CFG for an entire file,
+ by calling {!cfgFun} on each function. *)
val computeFileCFG: file -> unit
(** clear the sid (except when clear_id is explicitly set to false),
--
GitLab