diff options
Diffstat (limited to 'test/java/build.xml')
| -rw-r--r-- | test/java/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/java/build.xml b/test/java/build.xml index b3243d56e..d8973cedc 100644 --- a/test/java/build.xml +++ b/test/java/build.xml @@ -2,6 +2,7 @@ <project name="CVC4" default="test" basedir="."> <property name="class-dir" value="classes" /> <path id="classpath"> + <fileset dir="local-lib" includes="**/*.jar" /> <fileset dir="../../builds" includes="**/*.jar" /> </path> |