Adding a missing library.
[jpf-core.git] / lib / README
index 19c06db..843b47d 100644 (file)
@@ -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.