From f69eec9362236e46ac90dc41a43ba0b00ad3fdc1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Feb 2022 02:09:03 +0100
Subject: Make minor modifications

---
 tests/hashmap/Hashmap.Properties.fst | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'tests')

diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst
index 7425b038..975b8671 100644
--- a/tests/hashmap/Hashmap.Properties.fst
+++ b/tests/hashmap/Hashmap.Properties.fst
@@ -2655,3 +2655,9 @@ let hash_map_insert_fwd_back_lem t self key value =
       hash_map_try_resize_fwd_back_lem hm'
       end
     else ()
+
+(*** get *)
+
+(*** get_mut'fwd *)
+
+(*** get_mut'back *)
-- 
cgit v1.2.3