From b4bb19f27a7ec1a433d5ccf0fc4bf4cd8a764e4f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 8 Feb 2024 13:03:36 +0100
Subject: [PATCH] update parser version also in manifest file

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 de.prob.core/META-INF/MANIFEST.MF | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/de.prob.core/META-INF/MANIFEST.MF b/de.prob.core/META-INF/MANIFEST.MF
index 6e17122b..e43c74d0 100644
--- a/de.prob.core/META-INF/MANIFEST.MF
+++ b/de.prob.core/META-INF/MANIFEST.MF
@@ -76,11 +76,11 @@ Bundle-Activator: de.prob.core.internal.Activator
 Eclipse-BuddyPolicy: registered
 Bundle-RequiredExecutionEnvironment: JavaSE-11
 Bundle-ClassPath: .,
- lib/dependencies/answerparser-2.12.8-SNAPSHOT.jar,
- lib/dependencies/bparser-2.12.8-SNAPSHOT.jar,
- 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.7.0-SNAPSHOT.jar,
- lib/dependencies/theorymapping-2.12.8-SNAPSHOT.jar,
- lib/dependencies/unicode-2.12.8-SNAPSHOT.jar
+ lib/dependencies/answerparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/bparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/unicode-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/prologlib-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/parserbase-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/ltlparser-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/theorymapping-2.13.0-SNAPSHOT.jar,
+ lib/dependencies/sablecc-runtime-3.7.0-SNAPSHOT.jar
-- 
GitLab