From e57aaa3fe78520ccf5b86eda9d201a61b2ca82b8 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 23 Mar 2020 16:16:29 +0100
Subject: [PATCH] =?UTF-8?q?[doc]=C2=A0Fix=20module=20path=20to=20mkCompInf?=
=?UTF-8?q?o=20and=20copyCompInfo=20in=20doc=20comment?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/kernel_services/ast_data/cil_types.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_data/cil_types.mli b/src/kernel_services/ast_data/cil_types.mli
index 4e590ae3297..9ad9fdb7a76 100644
--- a/src/kernel_services/ast_data/cil_types.mli
+++ b/src/kernel_services/ast_data/cil_types.mli
@@ -360,9 +360,9 @@ and compinfo = {
of a comp (along with the struct or union) *)
mutable ckey: int;
- (** A unique integer. This is assigned by {!Cil.mkCompInfo} using a global
+ (** A unique integer. This is assigned by {!Cil_const.mkCompInfo} using a global
variable in the Cil module. Thus two identical structs in two different
- files might have different keys. Use {!Cil.copyCompInfo} to copy
+ files might have different keys. Use {!Cil_const.copyCompInfo} to copy
structures so that a new key is assigned. *)
mutable cfields: fieldinfo list;
--
GitLab