From 13011535abd7d82c0ccc74d73b56427d27f38dbc Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 9 Jun 2011 14:39:26 +0000
Subject: [PATCH] e-acsl TODO

---
 src/plugins/e-acsl/TODO | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index ae2c1b52061..04583ed799f 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -14,6 +14,7 @@
 - minimiser le nombre de variables générées
 - constante entière longue: utiliser la représentation sous forme de string et 
   rechercher la base appropriée.
+- introduire feature wishes Bernard (voir mail du 9 juin)
 
 #########
 # TESTS #
-- 
GitLab