From bf3e05ec765b6a9825ccb7847591feaef622e5e9 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Thu, 13 Aug 2015 04:35:30 +0200
Subject: [PATCH] Update build.properties

---
 org.eventb.texteditor.parsers/build.properties | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/org.eventb.texteditor.parsers/build.properties b/org.eventb.texteditor.parsers/build.properties
index a5f5093..01ee952 100644
--- a/org.eventb.texteditor.parsers/build.properties
+++ b/org.eventb.texteditor.parsers/build.properties
@@ -2,9 +2,9 @@ source.. = src/
 output.. = bin/
 bin.includes = META-INF/,\
                .,\
-               lib/bparser-2.4.36-SNAPSHOT.jar,\
-               lib/eventbstruct-2.4.36-SNAPSHOT.jar,\
+               lib/bparser-2.4.40.jar,\
+               lib/eventbstruct-2.4.40.jar,\
                lib/guava-14.0.1.jar,\
                lib/jsr305-1.3.9.jar,\
-               lib/parserbase-2.4.36-SNAPSHOT.jar,\
-               lib/prologlib-2.4.36-SNAPSHOT.jar
+               lib/parserbase-2.4.40.jar,\
+               lib/prologlib-2.4.40.jar
-- 
GitLab