Skip to content
Browse files

Update cofoja version in build.xml

  • Loading branch information...
1 parent c7cc05f commit c8b6216a0eabf2b4e4e0f4badb5a44f831cf9554 @droazen droazen committed Aug 9, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 build.xml
View
2 build.xml
@@ -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" />

0 comments on commit c8b6216

Please sign in to comment.
Something went wrong with that request. Please try again.