From 40fb3e1cc7c08e218083f1621a3c3b076b5a30b3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 20 May 2013 15:04:08 +0000
Subject: [PATCH] Update Eclipse config for latest jar file changes.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6794 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/.classpath | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/.classpath b/prism/.classpath
index 4b4a13a0..a02649b1 100644
--- a/prism/.classpath
+++ b/prism/.classpath
@@ -8,7 +8,7 @@
 	<classpathentry kind="lib" path="lib/colt.jar" sourcepath="/Users/dxp/colt/src"/>
 	<classpathentry kind="lib" path="lib/pepa.zip"/>
 	<classpathentry kind="lib" path="lib/lpsolve55j.jar"/>
-	<classpathentry kind="lib" path="lib/jas-2.5.4408-bin.jar"/>
 	<classpathentry kind="lib" path="lib/log4j.jar"/>
+	<classpathentry kind="lib" path="lib/jas-2013137.jar"/>
 	<classpathentry kind="output" path="classes"/>
 </classpath>