From 0d1aaf111911e12bdcc06bcaa1790f687cab0fbc Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Mon, 18 May 2015 15:16:10 +0200
Subject: [PATCH] fixed version of xstream
---
de.prob.core/build.properties | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/build.properties b/de.prob.core/build.properties
index 99230d52..36243db2 100644
--- a/de.prob.core/build.properties
+++ b/de.prob.core/build.properties
@@ -8,7 +8,7 @@ bin.includes = META-INF/,\
lib/dependencies/commons-codec-1.6.jar,\
lib/dependencies/xmlpull-1.1.3.1.jar,\
lib/dependencies/xpp3_min-1.1.4c.jar,\
- lib/dependencies/xstream-1.4.3.jar,\
+ lib/dependencies/xstream-1.4.7.jar,\
lib/dependencies/jfmi-1.0.2-SNAPSHOT.jar,\
lib/dependencies/jna-3.4.0.jar
--
GitLab