From 688168b4d7c6cc7f6a97adebc77b7c5ad6b43d6d Mon Sep 17 00:00:00 2001
From: Waleed Dahshan <58462210+wmstack@users.noreply.github.com>
Date: Thu, 30 Jun 2022 05:17:41 +1000
Subject: [PATCH] Fix a mistake in the language reference (#4352)

It is clear that the third rule does not contribute to the rewriting of the expression `(A (B (D 42)))` to `(C (D 42))` to `(E 42)`.
---
 cranelift/isle/docs/language-reference.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cranelift/isle/docs/language-reference.md b/cranelift/isle/docs/language-reference.md
index dd79c55e5e..c3f9558be7 100644
--- a/cranelift/isle/docs/language-reference.md
+++ b/cranelift/isle/docs/language-reference.md
@@ -359,7 +359,7 @@ For a simple example, consider the following rules:
 ```
 
 This set of rules will rewrite `(A (B (D 42)))` to `(C (D 42))`, then
-to `(E 42)` (via the first and third rules respectively).
+to `(E 42)` (via the first and second rules respectively).
 
 How is this useful? First, rewriting one term to another (here, `C` at
 the top level) that in turn appears in the left-hand side of other