From 82bbf3740160651e6cfce79d7a34a407d6b240ca Mon Sep 17 00:00:00 2001 From: hoijui Date: Wed, 8 Nov 2023 07:29:48 +0100 Subject: [PATCH] Fixes typo in what_is_chalk.md --- book/src/what_is_chalk.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/what_is_chalk.md b/book/src/what_is_chalk.md index abbf6e282f0..045b65d43e0 100644 --- a/book/src/what_is_chalk.md +++ b/book/src/what_is_chalk.md @@ -38,7 +38,7 @@ To do this, it takes as input key information about a Rust program, such as: Internally, Chalk works by converting the Rust-specific information, like traits and impls, into *logical predicates*. This process is called "lowering", and you -can learn more about in the [*Lowering to Logic*][lowering-to-logic] and +can learn more about it in the [*Lowering to Logic*][lowering-to-logic] and [*Lowering Rules*][lowering-rules]) sections. [lowering-rules]: ./clauses/lowering_rules.html