From ba1af1fbca0359654632396148d422d6314c1289 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 18 Mar 2016 15:57:59 +0100
Subject: [PATCH] [RTL] Doxygen-style comments for e_acsl_malloc.h

---
 src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
index 972b4315437..bf1979b7cee 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h
@@ -20,9 +20,11 @@
 /*                                                                        */
 /**************************************************************************/
 
-/**********************************/
-/* Bindings for memory allocation */
-/**********************************/
+/*! ***********************************************************************
+ * \file   e_acsl_malloc.h
+ *
+ * \brief E-ACSL memory allocation bindings.
+***************************************************************************/
 
 /* Should be included after
  * printf, debug and assert but before the actual code */
-- 
GitLab