diff options
author | Son Ho | 2023-05-09 10:40:19 +0200 |
---|---|---|
committer | Son HO | 2023-06-04 21:44:33 +0200 |
commit | 50d1542f830b7ceb73efd34573b6b56b4971a114 (patch) | |
tree | c73b6c415b39cdbc3d92ec3056a2521445ff8afc /tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean | |
parent | 4078f2569b362920a648622be73761cddde8a288 (diff) |
Regenerate the translated files for Lean
Diffstat (limited to 'tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean')
-rw-r--r-- | tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean b/tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean index 3531e6e0..d98f431a 100644 --- a/tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean +++ b/tests/lean/hashmap_on_disk/HashmapMain/Opaque.lean @@ -7,9 +7,9 @@ structure OpaqueDefs where /- [hashmap_main::hashmap_utils::deserialize] -/ hashmap_utils_deserialize_fwd - : State -> Result (State × (hashmap_hash_map_t UInt64)) + : State -> Result (State × (hashmap_hash_map_t U64)) /- [hashmap_main::hashmap_utils::serialize] -/ hashmap_utils_serialize_fwd - : hashmap_hash_map_t UInt64 -> State -> Result (State × Unit) + : hashmap_hash_map_t U64 -> State -> Result (State × Unit) |