fix tests

anoma · Sep 25, 2023 · 79f4966 · 79f4966
1 parent 2c76882
commit 79f4966
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tests/positive/Internal/Case.juvix b/tests/positive/Internal/Case.juvix
@@ -33,9 +33,9 @@ appIf : {A : Type} → Bool → (A → A) → A → A
 appIf2 : {A : Type} → Bool → (A → A) → A → A
   | b f a :=
     case b of {
-        | true := f
-        | false := id
-      }
+      | true := f
+      | false := id
+    }
       a;
 
 nestedCase1 : {A : Type} → Bool → (A → A) → A → A