Missed one in DDB

smithy-lang · Oct 23, 2023 · 213da2b · 213da2b
1 parent e841a8a
commit 213da2b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java b/...src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java
@@ -28,7 +28,7 @@ public static Result<IDynamoDBClient, Error> DynamoDBClient() {
             return Result.create_Success(dafny.TypeDescriptor.reference(IDynamoDBClient.class), Error._typeDescriptor(), shim);
         } catch (Exception e) {
             Error dafny_error = Error.create_InternalServerError(
-                    Option.create_Some(CharacterSequence(e.getMessage())));
+                    Option.create_Some(dafny.DafnySequence._typeDescriptor(dafny.TypeDescriptor.CHAR), CharacterSequence(e.getMessage())));
             return Result.create_Failure(dafny.TypeDescriptor.reference(IDynamoDBClient.class), Error._typeDescriptor(), dafny_error);
         }
     }