From e441ee9beb2562cf26db1e19f0ce947277f051dc Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Feb 2022 02:23:36 +0100
Subject: Make a minor modification

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

(limited to 'tests')

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 *)
-- 
cgit v1.2.3