From c6913b8bf90689d8961c47f59896443e7fae164d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 5 Feb 2023 22:03:41 +0100
Subject: Make sure let-bindings in Lean end with line breaks and improve
 formatting

---
 tests/lean/hashmap_on_disk/HashmapMain/Funs.lean | 6 ++++--
 1 file changed, 4 insertions(+), 2 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 2795ecfa..5b7d6f46 100644
--- a/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
+++ b/tests/lean/hashmap_on_disk/HashmapMain/Funs.lean
@@ -8,7 +8,8 @@ import HashmapMain.Clauses.Clauses
 section variable (opaque_defs: OpaqueDefs)
 
 /- [hashmap_main::hashmap::hash_key] -/
-def hashmap_hash_key_fwd (k : USize) : result USize := result.ret k
+def hashmap_hash_key_fwd (k : USize) : result USize :=
+  result.ret k
 
 /- [hashmap_main::hashmap::HashMap::{0}::allocate_slots] -/
 def hashmap_hash_map_allocate_slots_loop_fwd
@@ -638,7 +639,8 @@ def insert_on_disk_fwd
     result.ret (st1, ())
 
 /- [hashmap_main::main] -/
-def main_fwd : result Unit := result.ret ()
+def main_fwd : result Unit :=
+  result.ret ()
 
 /- Unit test for [hashmap_main::main] -/
 #assert (main_fwd = .ret ())
-- 
cgit v1.2.3