const in extern

aws · Jan 23, 2025 · 9795176 · 9795176
1 parent 98724d3
commit 9795176
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/InternalLegacyOverride.dfy b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/InternalLegacyOverride.dfy
@@ -13,7 +13,7 @@ module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencry
     static method {:extern} Build(encryptorConfig: Types.DynamoDbItemEncryptorConfig)
       returns (output: Result<Option<InternalLegacyOverride>, Types.Error>)
 
-    const policy: DDBE.LegacyPolicy
+    const {:extern} policy: DDBE.LegacyPolicy
 
     method {:extern} EncryptItem(input: Types.EncryptItemInput)
       returns (output: Result<Types.EncryptItemOutput, Types.Error>)