From df19638eff32cdff99fbca48142c3aa1ede615ec Mon Sep 17 00:00:00 2001 From: Tpt Date: Tue, 13 Jun 2023 20:46:06 +0200 Subject: [PATCH] xsd:integer: checked_div is integer division and not regular division according to XPath --- lib/oxsdatatypes/src/integer.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/oxsdatatypes/src/integer.rs b/lib/oxsdatatypes/src/integer.rs index 87d2dbd7..50f59d2b 100644 --- a/lib/oxsdatatypes/src/integer.rs +++ b/lib/oxsdatatypes/src/integer.rs @@ -50,7 +50,7 @@ impl Integer { }) } - /// [op:numeric-divide](https://www.w3.org/TR/xpath-functions-31/#func-numeric-divide) + /// [op:numeric-integer-divide](https://www.w3.org/TR/xpath-functions-31/#func-numeric-integer-divide) #[inline] pub fn checked_div(self, rhs: impl Into) -> Option { Some(Self {