Update cofoja version in build.xml

This commit is contained in:
David Roazen 2012-08-09 17:08:43 -04:00
parent 68fb04b8f7
commit d56a4631dc
1 changed files with 1 additions and 1 deletions

View File

@ -92,7 +92,7 @@
<!-- To disable for test targets, run with -Duse.contracts=false -->
<!-- To enable for non-test targets, run with -Duse.contracts=true -->
<property name="java.contracts.dir" value="${build.dir}/java/contracts" />
<property name="contracts.version" value="1.0-20110609" />
<property name="contracts.version" value="1.0-r139" />
<property name="cofoja.jar" value="${lib.dir}/cofoja-${contracts.version}.jar"/>
<property name="contract.dump.dir" value="dump" />