diff options
Diffstat (limited to 'src/environment.c')
| -rw-r--r-- | src/environment.c | 2 |
1 files changed, 1 insertions, 1 deletions
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)"}, |