From 6ba3c89dc8d55f22bdf78719003215d171b3caff Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 28 Feb 2024 15:57:04 +0100
Subject: [PATCH] Update eventbstruct parser to version 2.13.0
---
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 4 ++--
org.eventb.texteditor.parsers/build.properties | 4 ++--
org.eventb.texteditor.parsers/pom.xml | 2 +-
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index d6d06f4..44f70d0 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,8 +7,8 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ClassPath: .,
- lib/eventbstruct-2.12.7.jar,
- lib/sablecc-runtime-3.6.0.jar
+ lib/eventbstruct-2.13.0.jar,
+ lib/sablecc-runtime-3.7.0.jar
Export-Package: de.be4.eventb.core.parser,
de.be4.eventb.core.parser.analysis,
de.be4.eventb.core.parser.lexer,
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 9d12edf..fd193e2 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,5 +2,5 @@ source.. = src/
output.. = bin/
bin.includes = META-INF/,\
.,\
- lib/eventbstruct-2.12.7.jar,\
- lib/sablecc-runtime-3.6.0.jar
+ lib/eventbstruct-2.13.0.jar,\
+ lib/sablecc-runtime-3.7.0.jar
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index 55ff51a..4c071ba 100644
--- a/org.eventb.texteditor.parsers/pom.xml
+++ b/org.eventb.texteditor.parsers/pom.xml
@@ -16,7 +16,7 @@
<dependency>
<groupId>de.hhu.stups</groupId>
<artifactId>eventbstruct</artifactId>
- <version>2.12.7</version>
+ <version>2.13.0</version>
</dependency>
</dependencies>
--
GitLab