From fb14bdc8331a4a04f6ebe9fa0ac3de3c4666fc04 Mon Sep 17 00:00:00 2001 From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr> Date: Tue, 22 Mar 2016 12:56:18 +0100 Subject: [PATCH] Fixed a typo in e_acsl_mmodel_api.h --- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h index 05546aaf273..b67a5ab011c 100644 --- a/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h +++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h @@ -99,7 +99,7 @@ void __initialize(void * ptr, size_t size) void __full_init(void * ptr) __attribute__((FC_BUILTIN)); -/*! \brief Mark a memory block which start address is given by \ptr as +/*! \brief Mark a memory block which start address is given by \p ptr as * read-only. */ /*@ assigns \nothing; */ void __readonly(void * ptr) -- GitLab