From 412bfd365a5c785712ea43fcfd0349626c6ce8c1 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 7 Apr 2021 09:43:53 +0200
Subject: [PATCH] [e-acsl:refman] acknowledgement

---
 src/plugins/e-acsl/doc/refman/main.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/doc/refman/main.tex b/src/plugins/e-acsl/doc/refman/main.tex
index 8fcef1b8255..0368564d4f3 100644
--- a/src/plugins/e-acsl/doc/refman/main.tex
+++ b/src/plugins/e-acsl/doc/refman/main.tex
@@ -83,6 +83,7 @@ These features are marked with \experimental.
 We gratefully thank all the people who contributed to this document:
 Patrick Baudin,
 Bernard Botella,
+Thibaut Benjamin,
 Lo\"ic Correnson,
 Pascal Cuoq,
 Basile Desloges,
-- 
GitLab