From ed88189ebe94d0aee97049465a1cb76fa3f8fcf2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Feb 2022 11:53:56 +0100
Subject: Make minor modifications

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

(limited to 'tests/hashmap')

diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst
index ce43fc7c..9833d420 100644
--- a/tests/hashmap/Hashmap.Properties.fst
+++ b/tests/hashmap/Hashmap.Properties.fst
@@ -2828,7 +2828,7 @@ let hash_map_get_fwd_lem #t self key =
 (*** get_mut'fwd *)
 
 
-(**** get_mut_in_list *)
+(**** get_mut_in_list'fwd *)
 
 val hash_map_get_mut_in_list_fwd_lem
   (#t : Type0) (key : usize) (ls : list_t t) :
@@ -2857,7 +2857,7 @@ let rec hash_map_get_mut_in_list_fwd_lem #t key ls =
   end
 #pop-options
 
-(**** get_mut *)
+(**** get_mut'fwd *)
 
 val hash_map_get_mut_fwd_lem
   (#t : Type0) (self : hash_map_t_nes t) (key : usize) :
@@ -2893,7 +2893,7 @@ let hash_map_get_mut_fwd_lem #t self key =
 
 (*** get_mut'back *)
 
-(**** get_mut_in_list *)
+(**** get_mut_in_list'back *)
 
 val hash_map_get_mut_in_list_back_lem
   (#t : Type0) (key : usize) (ls : list_t t) (ret : t) :
@@ -2923,7 +2923,7 @@ let rec hash_map_get_mut_in_list_back_lem #t key ls ret =
   end
 #pop-options
 
-(**** get_mut *)
+(**** get_mut'back *)
 
 /// Refinement lemma
 val hash_map_get_mut_back_lem_refin
-- 
cgit v1.2.3