polymorph

imabhichow · imabhichow · commit 982e234ff446 · 2025-10-12T22:51:35.000-07:00
diff --git a/TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs b/TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs
@@ -825,4 +825,3 @@ public static software.amazon.cryptography.encryptionsdk.internaldafny.types._IE
         }
     }
 }
-}

Original file line number	Diff line number	Diff line change
`@@ -825,4 +825,3 @@ public static software.amazon.cryptography.encryptionsdk.internaldafny.types._IE`
`825`	`825`	`}`
`826`	`826`	`}`
`827`	`827`	`}`
`828`		`-}`