From 4dec6bc508b15471c05af78125261ab6689ab262 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <k.a.vorobyov@gmail.com>
Date: Tue, 29 Mar 2016 17:39:27 +0200
Subject: [PATCH] [RTL] Comments

---
 src/plugins/e-acsl/share/e-acsl/e_acsl.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 e8ebfabb6f6..1fb83eff4c9 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl.h
@@ -22,7 +22,7 @@
 
 /*! ***********************************************************************
  * \file  e_acsl.h
- * \brief E-ACSL Public API for functionality shared by all memory models
+ * \brief E-ACSL Public API independent of memory models
  ***************************************************************************/
 
 #ifndef E_ACSL
-- 
GitLab