diff --git a/doc/chibi.scrbl b/doc/chibi.scrbl index 27def0eb..f6be143b 100755 --- a/doc/chibi.scrbl +++ b/doc/chibi.scrbl @@ -991,7 +991,7 @@ for interactive line editing. The @scheme{(chibi time)} provides an interface to the current system time. -@subsection{Type Inferance} +@subsection{Type Inference} The @scheme{(chibi type-inference)} is an easy-to-use type inference system.