diff --git a/org.eventb.texteditor.parsers/.classpath b/org.eventb.texteditor.parsers/.classpath
index 3e6188a4c0394c98c833d2c589f87ee274d2f764..951846334f8619468b9edf192f21e0aa3637effe 100644
--- a/org.eventb.texteditor.parsers/.classpath
+++ b/org.eventb.texteditor.parsers/.classpath
@@ -5,9 +5,9 @@
 	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
 	<classpathentry kind="src" path="src"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
-	<classpathentry exported="true" kind="lib" path="lib/bparser-2.4.36-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.36-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.36-SNAPSHOT.jar"/>
-	<classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.36-SNAPSHOT.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/bparser-2.4.40.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/eventbstruct-2.4.40.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/parserbase-2.4.40.jar"/>
+	<classpathentry exported="true" kind="lib" path="lib/prologlib-2.4.40.jar"/>
 	<classpathentry kind="output" path="bin"/>
 </classpath>