From 127f9b56442132ef69d293ec47d30b195300c772 Mon Sep 17 00:00:00 2001
From: Andrew Kaster <akaster@serenityos.org>
Date: Mon, 2 Jan 2023 15:56:07 -0700
Subject: [PATCH] jakt: Fix signature of default example's main (#4522)

And make sure to cast the i32 to a c_int from the example function.
---
 examples/jakt/default.jakt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/jakt/default.jakt b/examples/jakt/default.jakt
index f2f29d0e910..36108b2bf7c 100644
--- a/examples/jakt/default.jakt
+++ b/examples/jakt/default.jakt
@@ -2,6 +2,6 @@ function square(num: i32) -> i32 {
     return num * num
 }
 
-function main() {
-    return square(num: 3)
+function main() throws -> c_int {
+    return square(num: 3) as! c_int
 }