From e69382acbcc4bdd27612c9cf8ec282db71f8408d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 13 Jan 2023 16:18:43 +0100
Subject: Improve the pretty names generation for loops

---
 tests/fstar/hashmap_on_disk/HashmapMain.Funs.fst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tests/fstar/hashmap_on_disk')

diff --git a/tests/fstar/hashmap_on_disk/HashmapMain.Funs.fst b/tests/fstar/hashmap_on_disk/HashmapMain.Funs.fst
index d2b87305..f3b480c3 100644
--- a/tests/fstar/hashmap_on_disk/HashmapMain.Funs.fst
+++ b/tests/fstar/hashmap_on_disk/HashmapMain.Funs.fst
@@ -137,7 +137,7 @@ let rec hashmap_hash_map_insert_in_list_loop_back
     else
       begin match hashmap_hash_map_insert_in_list_loop_back t key value tl with
       | Fail e -> Fail e
-      | Return l -> Return (HashmapListCons ckey cvalue l)
+      | Return tl0 -> Return (HashmapListCons ckey cvalue tl0)
       end
   | HashmapListNil ->
     let l = HashmapListNil in Return (HashmapListCons key value l)
@@ -442,7 +442,7 @@ let rec hashmap_hash_map_get_mut_in_list_loop_back
     else
       begin match hashmap_hash_map_get_mut_in_list_loop_back t tl key ret with
       | Fail e -> Fail e
-      | Return l -> Return (HashmapListCons ckey cvalue l)
+      | Return tl0 -> Return (HashmapListCons ckey cvalue tl0)
       end
   | HashmapListNil -> Fail Failure
   end
@@ -553,7 +553,7 @@ let rec hashmap_hash_map_remove_from_list_loop_back
     else
       begin match hashmap_hash_map_remove_from_list_loop_back t key tl with
       | Fail e -> Fail e
-      | Return l -> Return (HashmapListCons ckey x l)
+      | Return tl0 -> Return (HashmapListCons ckey x tl0)
       end
   | HashmapListNil -> Return HashmapListNil
   end
-- 
cgit v1.2.3