diff options
Diffstat (limited to 'bindings/java/build.xml')
-rw-r--r-- | bindings/java/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bindings/java/build.xml b/bindings/java/build.xml index 59fd854..df74f56 100644 --- a/bindings/java/build.xml +++ b/bindings/java/build.xml @@ -22,7 +22,7 @@ Oregon, 97204-1622. --> <project name="ppamltracer-java" basedir="." default="link-and-package"> <property name="project.shortname" value="ppamltracer" /> - <property name="project.version" value="0.1.0" /> + <property name="project.version" value="0.2.0" /> <property name="package" value="com.galois.ppaml.tracer" /> <property name="src" location="src" /> |