diff --git a/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF b/org.eventb.texteditor.parsers/META-INF/MANIFEST.MF
index d6d06f405ccac0fda1fe71ff5af553ad11860641..44f70d06af607b70803b132cfa278647facea5b8 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 9d12edf9b3838f4567b25e7f0be47a3f26496ae0..fd193e2ae874e5467786247c1520f73ba30ad296 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 55ff51a5912e518dfca70a6f07f9f74e60759ced..4c071ba978a0f4949931cb265f318715ad40f606 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>