Update crysl version to 2.0.2

CROSSINGTUD · Nov 6, 2023 · f29b218 · f29b218
1 parent baa6dff
commit f29b218
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>