remove unwanted diff

Author: rishav-karanjit

TestVectors/runtimes/java/build.gradle.kts

@@ -139,4 +139,4 @@ tasks.register<JavaExec>("runTests") {
     systemProperty("java.library.path", "build/libs")
     mainClass.set("TestsFromDafny")
     classpath = sourceSets["test"].runtimeClasspath
-}
+}

TestVectors/runtimes/java/data.json

@@ -389,4 +389,4 @@
       ]
     }
   ]
-}
+}

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

@@ -1670,4 +1670,4 @@ public static software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafn
             }
         }
     }
-}
+}

TestVectors/runtimes/rust/Cargo.toml

@@ -20,4 +20,4 @@ dafny_runtime = { path = "../../../submodules/smithy-dafny/TestModels/dafny-depe
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.43.0", features = ["full"] }
-uuid = { version = "1.12.1", features = ["v4"] }
+uuid = { version = "1.12.1", features = ["v4"] }

TestVectors/runtimes/rust/src/create_client.rs

@@ -63,4 +63,4 @@ impl _CreateInterceptedDDBClient_Compile::_default {
     })
   }
 
-}
+}

TestVectors/runtimes/rust/src/lib.rs

@@ -65,4 +65,4 @@ pub mod storm_tracker;
 pub mod time;
 pub mod uuid;
 
-pub mod create_client;
+pub mod create_client;