From 171d80ac1e5bd006c2c600f36a42440dfb635605 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Fri, 18 Apr 2025 15:52:21 -0400
Subject: Make Int.prev_prime() optional instead of erroring

---
 src/environment.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/environment.c')

diff --git a/src/environment.c b/src/environment.c
index 35c76fe5..651bc9ca 100644
--- a/src/environment.c
+++ b/src/environment.c
@@ -121,7 +121,7 @@ env_t *global_env(bool source_mapping)
             {"power", "Int$power", "func(base:Int,exponent:Int -> Int)"},
 #if __GNU_MP_VERSION >= 6
 #if __GNU_MP_VERSION_MINOR >= 3
-            {"prev_prime", "Int$prev_prime", "func(x:Int -> Int)"},
+            {"prev_prime", "Int$prev_prime", "func(x:Int -> Int?)"},
 #endif
 #endif
             {"right_shifted", "Int$right_shifted", "func(x,y:Int -> Int)"},
-- 
cgit v1.2.3