From 8a2bfe89ee0fc242a05cdfd4c396489c23cc87c4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 17 Aug 2023 10:51:19 +0200
Subject: [PATCH] Update eventbstruct parser to version 2.12.7 (no changes)
---
org.eventb.texteditor.parsers/META-INF/MANIFEST.MF | 2 +-
org.eventb.texteditor.parsers/build.properties | 2 +-
org.eventb.texteditor.parsers/pom.xml | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 2157355..0a69258 100644
--- a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
+++ b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
@@ -7,7 +7,7 @@ Bundle-Activator: org.eventb.texteditor.parsers.Activator
Require-Bundle: org.eclipse.core.runtime
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ClassPath: .,
- lib/eventbstruct-2.12.6.jar,
+ lib/eventbstruct-2.12.7.jar,
lib/sablecc-runtime-3.6.0.jar
Export-Package: de.be4.eventb.core.parser,
de.be4.eventb.core.parser.analysis,
diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index 1a7a34b..9d12edf 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.6.jar,\
+ lib/eventbstruct-2.12.7.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 2f6dd55..f7b5a11 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.6</version>
+ <version>2.12.7</version>
</dependency>
</dependencies>
--
GitLab