From c52add165764d3a0b68ee5181901109078e9b19b Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 13 Jan 2023 16:44:25 +0100
Subject: Update the hashmap and regenerate

---
 tests/fstar/hashmap/Hashmap.Clauses.Template.fst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/fstar/hashmap/Hashmap.Clauses.Template.fst')

diff --git a/tests/fstar/hashmap/Hashmap.Clauses.Template.fst b/tests/fstar/hashmap/Hashmap.Clauses.Template.fst
index 4e490b6c..aef5e25e 100644
--- a/tests/fstar/hashmap/Hashmap.Clauses.Template.fst
+++ b/tests/fstar/hashmap/Hashmap.Clauses.Template.fst
@@ -12,9 +12,9 @@ let hash_map_allocate_slots_loop_decreases (t : Type0) (slots : vec (list_t t))
   (n : usize) : nat =
   admit ()
 
-(** [hashmap::HashMap::{0}::clear_slots]: decreases clause *)
+(** [hashmap::HashMap::{0}::clear]: decreases clause *)
 unfold
-let hash_map_clear_slots_loop_decreases (t : Type0) (slots : vec (list_t t))
+let hash_map_clear_loop_decreases (t : Type0) (slots : vec (list_t t))
   (i : usize) : nat =
   admit ()
 
-- 
cgit v1.2.3