From b1343411c87bb0db1bf381c67b711f448c0bff99 Mon Sep 17 00:00:00 2001
From: Thibaut Benjamin <thibaut.benjamin@gmail.com>
Date: Thu, 11 Aug 2022 10:19:22 +0200
Subject: [PATCH] [e-acsl] better documentation

---
 src/plugins/e-acsl/src/code_generator/smart_exp.mli | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/src/code_generator/smart_exp.mli b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
index b2a5e5b03f2..2cffdd27908 100644
--- a/src/plugins/e-acsl/src/code_generator/smart_exp.mli
+++ b/src/plugins/e-acsl/src/code_generator/smart_exp.mli
@@ -47,8 +47,7 @@ val null: loc:location -> exp
 (** [null ~loc] creates an expression to represent the NULL pointer. *)
 
 val mem: loc:location -> varinfo -> exp
-(** [mem ~loc v] creates an expression to represent the array access to the
-    first location of v *)
+(** [mem ~loc v] creates a Mem expression with an explicit index of 0 *)
 (*
 Local Variables:
 compile-command: "make -C ../../../../.."
-- 
GitLab