diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index 2157355de97aa5404290acce6f934de96f2d5b64..0a692580deb6879f9efe63d4bab706835666cf7e 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 1a7a34b45720568c715ecebf7e79189c153c4f23..9d12edf9b3838f4567b25e7f0be47a3f26496ae0 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 2f6dd5556d7ea2b1fc165732ace3f12eceeaed33..f7b5a113727bd6cbf9017c8aa5f1d332a805c10a 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>