From 120f88862dda4a5ad7fa78fa09bbe31c2c841522 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 20 Jul 2011 21:05:28 +0000
Subject: [PATCH] Added PEPA zip to Eclipse config.

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

diff --git a/prism/.classpath b/prism/.classpath
index d8fd3995..d33805ee 100644
--- 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>