fix: Avoid stacking newtype definition to avoid bug fixed by Dafny PR…

… #4569 (#555)
aws · Nov 14, 2023 · af3f45b · af3f45b
1 parent 0079a51
commit af3f45b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy
@@ -30,7 +30,7 @@ module SearchableEncryptionInfo {
   //= specification/searchable-encryption/search-config.md#version-number
   //= type=implication
   //# A version number MUST be `1`.
-  newtype VersionNumber = x : uint64 | x == 1 witness 1
+  newtype VersionNumber = x : int | x == 1 witness 1
 
   type ValidSearchInfo = x : SearchInfo | x.ValidState() witness *