From b8e610c07d10544a4f21b703672b5958a11b288d Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Wed, 16 Sep 2020 09:55:21 +0200
Subject: [PATCH] update feature description

---
 de.prob2.disprover.feature/feature.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.prob2.disprover.feature/feature.xml b/de.prob2.disprover.feature/feature.xml
index f1143fa1..410ec700 100644
--- a/de.prob2.disprover.feature/feature.xml
+++ b/de.prob2.disprover.feature/feature.xml
@@ -13,7 +13,7 @@ Part of the research and development was conducted within the
 EPSRC funded projects ABCD and iMoc, and within the EU funded
 projects Rodin and Deploy and the DFG projects Gepavas and Gepavas II.
 ProB has been successfully used on various industrial specifications
-and is now being used within Siemens, Alstom, Thales.
+and is now being used e.g. within Siemens, Alstom, Thales and ClearSy.
    </description>
 
    <copyright>
-- 
GitLab