From d9d94f8a510d64cb56f70036777ad739e5e5e961 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Mon, 18 Sep 2023 18:05:36 +0200 Subject: [PATCH] Bugfix for text codeblock in documentation. --- src/identities.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/identities.rs b/src/identities.rs index c418bfb0..2486cb19 100644 --- a/src/identities.rs +++ b/src/identities.rs @@ -5,7 +5,7 @@ use core::ops::{Add, Mul}; /// /// # Laws /// -/// ```{.text} +/// ```text /// a + 0 = a ∀ a ∈ Self /// 0 + a = a ∀ a ∈ Self /// ``` @@ -81,7 +81,7 @@ where /// /// # Laws /// -/// ```{.text} +/// ```text /// a * 1 = a ∀ a ∈ Self /// 1 * a = a ∀ a ∈ Self /// ```