Added PEPA zip to Eclipse config.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3308 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 120f88862d
1 changed files with 1 additions and 0 deletions
--- a/prism/.classpath
+++ b/prism/.classpath
@ -6,5 +6,6 @@
 	<classpathentry kind="lib" path="lib/jcommon.jar"/>
 	<classpathentry kind="lib" path="lib/jfreechart.jar" sourcepath="/jfreechart/source"/>
 	<classpathentry kind="lib" path="lib/colt.jar" sourcepath="/Users/dxp/colt/src"/>
+	<classpathentry kind="lib" path="lib/pepa.zip"/>
 	<classpathentry kind="output" path="classes"/>
 </classpath>