format

anoma · Sep 29, 2023 · d9eff56 · d9eff56
1 parent 908e82d
commit d9eff56
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/tests/benchmark/maybe/juvix/maybe.juvix b/tests/benchmark/maybe/juvix/maybe.juvix
@@ -17,7 +17,6 @@ gen : Nat → Tree
 
 terminating
 sum : Nat → Tree → Maybe Nat
-
   | x leaf := just 0
   | x (node y l r) :=
     if (x == y) nothing (step1 x y (sum x l) r);
@@ -35,12 +34,11 @@ maybeStepRun : Nat → Nat → Maybe Nat
   | x y := just (sub y x);
 
 run : Nat → Tree → Maybe Nat
-
   | zero t := sum 0 t
   | (suc n) t := stepRun (suc n) t (run n t);
 
 stepRun : Nat → Tree → Maybe Nat → Maybe Nat
-  
+
   | n t nothing := sum n t
   | n t (just x) := maybe nothing (maybeStepRun x) (sum n t);
 

diff --git a/tests/benchmark/mergesort/juvix/mergesort.juvix b/tests/benchmark/mergesort/juvix/mergesort.juvix
@@ -27,7 +27,6 @@ merget : List Nat → List Nat → List Nat → List Nat
 
 terminating
 sort' : List Nat × List Nat → List Nat
-
   | (l1, l2) := merget (sort l1) (sort l2) nil;
 
 terminating