From dd32d32041b934e91f21c5c813da92cfea0bf8b5 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 22 Mar 2016 13:14:00 +0100
Subject: [PATCH] [RTL] Doxyhen comments for e_acsl.h

---
 src/plugins/e-acsl/share/e-acsl/e_acsl.h | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl.h b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
index cb580dc8e28..e8ebfabb6f6 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -20,17 +20,17 @@
 /*                                                                        */
 /**************************************************************************/
 
-/************************/
-/* Standard C functions */
-/************************/
+/*! ***********************************************************************
+ * \file  e_acsl.h
+ * \brief E-ACSL Public API for functionality shared by all memory models
+ ***************************************************************************/
 
 #ifndef E_ACSL
 #define E_ACSL
 
-/*****************************/
-/* Dedicated E-ACSL function */
-/*****************************/
-
+/******************************/
+/* Dedicated E-ACSL assertion */
+/******************************/
 /*@ requires predicate != 0;
   @ assigns \nothing; */
 void __e_acsl_assert(int predicate,
-- 
GitLab