diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-08-28 21:39:39 -0700 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-08-28 21:39:39 -0700 |
commit | f0f5186c7f95776663771e98a4449d3f0fa25b0e (patch) | |
tree | 9640d937e6e5dbe614af975ed5212d794579859c | |
parent | d6c918898d852ab3b38ccfdab2f138aef8d60cd0 (diff) |
Fix Java tests
-rw-r--r-- | test/java/build.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/java/build.xml b/test/java/build.xml index d8973cedc..b3243d56e 100644 --- a/test/java/build.xml +++ b/test/java/build.xml @@ -2,7 +2,6 @@ <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> |