From e55b676ee314d710c554f541a85b1452b664fa62 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 12 Jun 2024 15:11:09 +0200 Subject: [PATCH] Update doc/src/core-transmutation.md --- doc/src/core-transmutation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/core-transmutation.md b/doc/src/core-transmutation.md index 40d0f55f37b97..c4120314e5fb1 100644 --- a/doc/src/core-transmutation.md +++ b/doc/src/core-transmutation.md @@ -15,7 +15,7 @@ Confirm the soundness of value transmutations performed by libcore, including th If the context of the transmute is safe, these conditions should be proven with local reasoning. If the context of the transmute is unsafe, they may be discharged with a safety obligation on the caller. -To keep the goal somewhat manageable, it excludes some classes of code (e.g. UTF8-validation, async tasks, and others); see the assumptions for the full list of excluded categories. +To keep the goal somewhat manageable, it excludes some classes of code (e.g., UTF8-validation, async tasks, and others); see the assumptions listed below for the full list of excluded categories. ## Details