diff options
| -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 *) |