diff options
Diffstat (limited to 'z3/gradle.properties')
| -rw-r--r-- | z3/gradle.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/z3/gradle.properties b/z3/gradle.properties index 3ef49dc6..73b4d596 100644 --- a/z3/gradle.properties +++ b/z3/gradle.properties | |||
| @@ -6,4 +6,4 @@ file.encoding=UTF-8 | |||
| 6 | group=tools.refinery.z3 | 6 | group=tools.refinery.z3 |
| 7 | org.gradle.configuration-cache=false | 7 | org.gradle.configuration-cache=false |
| 8 | org.gradle.parallel=true | 8 | org.gradle.parallel=true |
| 9 | version=4.12.2 | 9 | version=4.12.6 |