From 6c8279a43bfbed4a33bef90f22b8f8f47df27525 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Wed, 25 Jan 2023 17:59:51 -0800
Subject: Fix a syntax error

---
 tests/lean/hashmap_on_disk/HashmapMain/Funs.lean | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

(limited to 'tests/lean/hashmap_on_disk/HashmapMain')

diff --git a/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean b/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
index 6be1f757..eb72cc97 100644
--- a/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
+++ b/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
@@ -161,8 +161,7 @@ def hashmap_hash_map_insert_no_resize_fwd_back
         result.ret
           {
             hashmap_hash_map_num_entries := i0,
-            hashmap_hash_map_max_load_factor := self
-                                                  .hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
             }
@@ -175,8 +174,7 @@ def hashmap_hash_map_insert_no_resize_fwd_back
         result.ret
           {
             hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-            hashmap_hash_map_max_load_factor := self
-                                                  .hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
             }
@@ -405,8 +403,7 @@ def hashmap_hash_map_get_mut_back
     result.ret
       {
         hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-        hashmap_hash_map_max_load_factor := self
-                                              .hashmap_hash_map_max_load_factor,
+        hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
         hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
         hashmap_hash_map_slots := v
         }
@@ -506,8 +503,7 @@ def hashmap_hash_map_remove_back
         result.ret
           {
             hashmap_hash_map_num_entries := self.hashmap_hash_map_num_entries,
-            hashmap_hash_map_max_load_factor := self
-                                                  .hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
             }
@@ -522,8 +518,7 @@ def hashmap_hash_map_remove_back
         result.ret
           {
             hashmap_hash_map_num_entries := i0,
-            hashmap_hash_map_max_load_factor := self
-                                                  .hashmap_hash_map_max_load_factor,
+            hashmap_hash_map_max_load_factor := self.hashmap_hash_map_max_load_factor,
             hashmap_hash_map_max_load := self.hashmap_hash_map_max_load,
             hashmap_hash_map_slots := v
             }
-- 
cgit v1.2.3