Adding a missing library.

[jpf-core.git] / lib / README

diff --git a/lib/README b/lib/README
index 19c06db74da320e0c9f672d5c38e95361ccd506d..843b47d04b72232582c50f9873a3d438028784d3 100644 (file)
--- a/lib/README
+++ b/lib/README
@@ -1,3 +1,3 @@
-1) Both JAR files need to be extracted into groovy-2.5.7 and groovy-dateutil-2.5.7 directories. 
+1) All JAR files need to be extracted into their directories.

 2) JPF is then given the paths to both directories to model-check Groovy apps.
 3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.
 2) JPF is then given the paths to both directories to model-check Groovy apps.
 3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.