From ef8681e4e10318ac40280e48c68696801250aea3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 8 Aug 2023 15:16:50 +0200
Subject: [PATCH] Update eventbstruct parser to version 2.12.6
---
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 f9c5385..2157355 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.5.jar,
- lib/sablecc-runtime-3.5.0.jar
+ lib/eventbstruct-2.12.6.jar,
+ lib/sablecc-runtime-3.6.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 11c5e12..1a7a34b 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.5.jar,\
- lib/sablecc-runtime-3.5.0.jar
+ lib/eventbstruct-2.12.6.jar,\
+ lib/sablecc-runtime-3.6.0.jar
diff --git a/org.eventb.texteditor.parsers/pom.xml b/org.eventb.texteditor.parsers/pom.xml
index d3ee254..2f6dd55 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.5</version>
+ <version>2.12.6</version>
</dependency>
</dependencies>
--
GitLab