Skip to content

Commit

Permalink
chore: allow local testing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josecorella
josecorella committed Aug 23, 2024
1 parent 1abcc6d commit ca67a09
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion project.properties
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
projectJavaVersion=3.6.2
projectJavaVersion=3.6.2-SNAPSHOT
mplDependencyJavaVersion=1.5.1
dafnyVersion=4.2.0
dafnyVerifyVersion=4.7.0
Expand Down

0 comments on commit ca67a09

Please sign in to comment.