Fixed a release issue

MikaelMayer · MikaelMayer · commit 6cb8c0c73fdd · 2024-10-30T16:35:13.000-05:00
diff --git a/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle b/Source/DafnyRuntime/DafnyRuntimeJava/build.gradle
@@ -17,7 +17,7 @@ dependencies {
 }
 
 group = 'org.dafny'
-version = "4.9.0'
+version = '4.9.0'
 sourceCompatibility = '1.8'
 
 java {
