diff --git a/collects/typed-scheme/private/base-env-numeric.ss b/collects/typed-scheme/private/base-env-numeric.ss index 957a21db..f0c05718 100644 --- a/collects/typed-scheme/private/base-env-numeric.ss +++ b/collects/typed-scheme/private/base-env-numeric.ss @@ -107,7 +107,7 @@ [rationalize (N N . -> . N)] [expt (cl->* (-Integer -Integer . -> . -Integer) (N N . -> . N))] [sqrt (cl->* - (-Real . -> . -Real) + (-Nat . -> . -Real) (N . -> . N))] [log (cl->* (-Pos . -> . -Real)