diff options
| author | Son Ho | 2022-02-13 02:23:36 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-13 02:23:36 +0100 |
| commit | e441ee9beb2562cf26db1e19f0ce947277f051dc (patch) | |
| tree | 829aa4681a2d628afaa8817997694fc80a4caa09 /tests/hashmap/Hashmap.Properties.fst | |
| parent | f69eec9362236e46ac90dc41a43ba0b00ad3fdc1 (diff) | |
Make a minor modification
Diffstat (limited to 'tests/hashmap/Hashmap.Properties.fst')
| -rw-r--r-- | tests/hashmap/Hashmap.Properties.fst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst index 975b8671..822b630b 100644 --- a/tests/hashmap/Hashmap.Properties.fst +++ b/tests/hashmap/Hashmap.Properties.fst @@ -2656,6 +2656,8 @@ let hash_map_insert_fwd_back_lem t self key value = end else () +(*** contains *) + (*** get *) (*** get_mut'fwd *) |