diff --git a/de.prob.core/.classpath b/de.prob.core/.classpath index d6c3e4320740d37061ff118d7a580c06b6d18e26..7f1270f96b668445a7da2c7a44c7c456de5d6785 100644 --- a/de.prob.core/.classpath +++ b/de.prob.core/.classpath @@ -9,7 +9,7 @@ <classpathentry exported="true" kind="lib" path="lib/dependencies/ltlparser-2.12.8-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/parserbase-2.12.8-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/prologlib-2.12.8-SNAPSHOT.jar"/> - <classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.6.0.jar"/> + <classpathentry exported="true" kind="lib" path="lib/dependencies/sablecc-runtime-3.7.0-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/theorymapping-2.12.8-SNAPSHOT.jar"/> <classpathentry exported="true" kind="lib" path="lib/dependencies/unicode-2.12.8-SNAPSHOT.jar"/> </classpath> diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF index 28fb273be9fe8bd8a86e5140c0b89bed3270c01d..6e17122bafd972396b100d44eb111e57fbc2cc70 100644 --- a/de.prob.core/META-INF/MANIFEST.MF +++ b/de.prob.core/META-INF/MANIFEST.MF @@ -81,6 +81,6 @@ Bundle-ClassPath: ., lib/dependencies/ltlparser-2.12.8-SNAPSHOT.jar, lib/dependencies/parserbase-2.12.8-SNAPSHOT.jar, lib/dependencies/prologlib-2.12.8-SNAPSHOT.jar, - lib/dependencies/sablecc-runtime-3.6.0.jar, + lib/dependencies/sablecc-runtime-3.7.0-SNAPSHOT.jar, lib/dependencies/theorymapping-2.12.8-SNAPSHOT.jar, lib/dependencies/unicode-2.12.8-SNAPSHOT.jar