# HG changeset patch
# User Tuomo Valkonen <tuomov@iki.fi>
# Date 1733515174 18000
# Node ID 08db78e3a65436f3729f633d556cec9ccfc0a73c
# Parent  c70b575d22b61c8f474aec6ac2350fb5bb219323
typofix

diff -r c70b575d22b6 -r 08db78e3a654 src/mapping.rs
--- a/src/mapping.rs	Fri Dec 06 13:06:22 2024 -0500
+++ b/src/mapping.rs	Fri Dec 06 14:59:34 2024 -0500
@@ -85,7 +85,7 @@
 /// A differentiable mapping from `Domain` to [`Mapping::Codomain`], with differentials
 /// `Differential`.
 ///
-/// This is automatically implemented when the relevant [`Differentiate`] are implemented.
+/// This is automatically implemented when the relevant [`Differentiable`] are implemented.
 pub trait DifferentiableMapping<Domain>
 : Mapping<Domain>
   + Differentiable<Domain, Derivative=Self::DerivativeDomain>