From 1af63cade04325eb32a62ca23125eea75810822f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 14 Nov 2022 09:27:24 +0100
Subject: Improve the formatting of the generated code

---
 tests/fstar/betree/BetreeMain.Funs.fst | 18 ++++++++----------
 1 file changed, 8 insertions(+), 10 deletions(-)

(limited to 'tests/fstar/betree/BetreeMain.Funs.fst')

diff --git a/tests/fstar/betree/BetreeMain.Funs.fst b/tests/fstar/betree/BetreeMain.Funs.fst
index 9ba5d3e7..8cb5eb41 100644
--- a/tests/fstar/betree/BetreeMain.Funs.fst
+++ b/tests/fstar/betree/BetreeMain.Funs.fst
@@ -151,7 +151,8 @@ let rec betree_list_split_at_fwd
         | Fail -> Fail
         | Return p ->
           let (ls0, ls1) = p in
-          let l = ls0 in Return (BetreeListCons hd l, ls1)
+          let l = ls0 in
+          Return (BetreeListCons hd l, ls1)
         end
       end
     | BetreeListNil -> Fail
@@ -161,7 +162,8 @@ let rec betree_list_split_at_fwd
 let betree_list_push_front_fwd_back
   (t : Type0) (self : betree_list_t t) (x : t) : result (betree_list_t t) =
   let tl = mem_replace_fwd (betree_list_t t) self BetreeListNil in
-  let l = tl in Return (BetreeListCons x l)
+  let l = tl in
+  Return (BetreeListCons x l)
 
 (** [betree_main::betree::List::{1}::pop_front] *)
 let betree_list_pop_front_fwd (t : Type0) (self : betree_list_t t) : result t =
@@ -211,7 +213,8 @@ let rec betree_list_partition_at_pivot_fwd
       | Fail -> Fail
       | Return p ->
         let (ls0, ls1) = p in
-        let l = ls0 in Return (BetreeListCons (i, x) l, ls1)
+        let l = ls0 in
+        Return (BetreeListCons (i, x) l, ls1)
       end
   | BetreeListNil -> Return (BetreeListNil, BetreeListNil)
   end
@@ -252,13 +255,8 @@ let betree_leaf_split_fwd
                   params.betree_params_split_size) in
                 let n0 = BetreeNodeLeaf (Mkbetree_leaf_t id1
                   params.betree_params_split_size) in
-                Return
-                (st1,
-                Mkbetree_internal_t
-                self.betree_leaf_id
-                pivot
-                n
-                n0)
+                Return (st1, Mkbetree_internal_t self.betree_leaf_id pivot n
+                  n0)
               end
             end
           end
-- 
cgit v1.2.3