From e85054f493ad311f819666d7168776e7af8eb60e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 13:50:26 +0000
Subject: [PATCH] Rename jhoafparser jar.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10247 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/.classpath                                    |   2 +-
 .../{jhoafparser-1.1.0-rc3.jar => jhoafparser.jar}  | Bin
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename prism/lib/{jhoafparser-1.1.0-rc3.jar => jhoafparser.jar} (100%)

diff --git a/prism/.classpath b/prism/.classpath
index 2bde8477..c2f245c0 100644
--- a/prism/.classpath
+++ b/prism/.classpath
@@ -5,7 +5,7 @@
 	<classpathentry kind="lib" path="lib/epsgraphics.jar"/>
 	<classpathentry kind="lib" path="lib/jcommon.jar"/>
 	<classpathentry kind="lib" path="lib/jfreechart.jar" sourcepath="/jfreechart/source"/>
-	<classpathentry kind="lib" path="lib/jhoafparser-1.1.0-rc3.jar"/>
+	<classpathentry kind="lib" path="lib/jhoafparser.jar"/>
 	<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"/>
diff --git a/prism/lib/jhoafparser-1.1.0-rc3.jar b/prism/lib/jhoafparser.jar
similarity index 100%
rename from prism/lib/jhoafparser-1.1.0-rc3.jar
rename to prism/lib/jhoafparser.jar