From b63c0f0630ebbf7610385e4a35b64a11af540845 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Thu, 14 Nov 2024 11:40:46 +0100
Subject: [PATCH] fix comment

---
 .../Translation/FromInternal/Analysis/FunctionCall.hs       | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs
index 65b85ee07b..33c59e53e0 100644
--- a/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs
+++ b/src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/FunctionCall.hs
@@ -59,12 +59,12 @@ viewCall = \case
 
             Consider:
             ```
-            isEven (x : Nat) : Nat :=
+            isEven (x : Nat) : Bool :=
               let
-                isEven' : Nat -> Nat
+                isEven' : Nat -> Bool
                   | zero := true
                   | (suc n) := isOdd' n;
-                isOdd' : Nat -> Nat
+                isOdd' : Nat -> Bool
                   | zero := false
                   | (suc n) := isEven' n;
                in isEven' x;