From 5bc3184f7922e5b1c0855ea7c83dd1c3c0985904 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 1 May 2022 13:58:51 +0200
Subject: Regenerate some of the test files

---
 tests/hashmap/Hashmap.Funs.fst | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'tests/hashmap')

diff --git a/tests/hashmap/Hashmap.Funs.fst b/tests/hashmap/Hashmap.Funs.fst
index f75a0c01..4fb9c8e4 100644
--- a/tests/hashmap/Hashmap.Funs.fst
+++ b/tests/hashmap/Hashmap.Funs.fst
@@ -181,8 +181,7 @@ let hash_map_insert_no_resize_fwd_back
               | Fail -> Fail
               | Return v ->
                 Return (Mkhash_map_t self.hash_map_num_entries
-                  self.hash_map_max_load_factor self.hash_map_max_load 
-                  v)
+                  self.hash_map_max_load_factor self.hash_map_max_load v)
               end
             end
         end
@@ -574,8 +573,7 @@ let hash_map_remove_back
               | Fail -> Fail
               | Return v ->
                 Return (Mkhash_map_t self.hash_map_num_entries
-                  self.hash_map_max_load_factor self.hash_map_max_load 
-                  v)
+                  self.hash_map_max_load_factor self.hash_map_max_load v)
               end
             end
           | Some x0 ->
-- 
cgit v1.2.3