From e950b06f0030e463d1c8a59604b2a298385cbd64 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 14 Feb 2022 00:41:05 +0100
Subject: Make minor modifications

---
 tests/hashmap/Hashmap.Properties.fsti | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests')

diff --git a/tests/hashmap/Hashmap.Properties.fsti b/tests/hashmap/Hashmap.Properties.fsti
index 9de54808..e3749de6 100644
--- a/tests/hashmap/Hashmap.Properties.fsti
+++ b/tests/hashmap/Hashmap.Properties.fsti
@@ -24,7 +24,7 @@ val len_s (#t : Type0) (hm : hash_map_t t) : nat
 
 val find_s (#t : Type0) (hm : hash_map_t t) (k : key) : option t
 
-(*** new *)
+(*** [new'fwd] *)
 
 /// [new] doesn't fail and returns an empty hash map
 val hash_map_new_fwd_lem (t : Type0) :
-- 
cgit v1.2.3