From f29b21804f878dba65036a8054a8ec417eb4682e Mon Sep 17 00:00:00 2001
From: smeyer198 <s.v.meyer@online.de>
Date: Mon, 6 Nov 2023 10:10:23 +0100
Subject: [PATCH] Update crysl version to 2.0.2

---
 CryptoAnalysis/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CryptoAnalysis/pom.xml b/CryptoAnalysis/pom.xml
index ba24c3d68..3ff6bae37 100644
--- a/CryptoAnalysis/pom.xml
+++ b/CryptoAnalysis/pom.xml
@@ -296,7 +296,7 @@
 		<dependency>
 			<groupId>de.darmstadt.tu.crossing.CrySL</groupId>
 			<artifactId>de.darmstadt.tu.crossing.CrySL</artifactId>
-			<version>2.0.1</version>
+			<version>2.0.2</version>
 		</dependency>
 		<dependency>
 			<groupId>org.eclipse.xtext</groupId>