From 3fcbda0df19ffb0295ef63b5b7e93c8cf12226ae Mon Sep 17 00:00:00 2001 From: Alex Kesling Date: Tue, 10 Aug 2021 17:09:14 -0400 Subject: [PATCH] Fix documentation typo (#116) --- src/tutorials/_01_background.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tutorials/_01_background.rs b/src/tutorials/_01_background.rs index 53e7d813..db271e35 100644 --- a/src/tutorials/_01_background.rs +++ b/src/tutorials/_01_background.rs @@ -162,7 +162,7 @@ Let's put it all together with an example referring to the four e-graphs in the The result only unions e-classes, meaning that e-graph actually got _smaller_ from applying these rewrites, even though it now represents more terms. - In fact, observe that that the top-right "×" e-node's left child is _itself_; + In fact, observe that the top-right "×" e-node's left child is _itself_; this cycle means the e-class represents the _infinite_ (!) set of terms _a_, _a × 1_, _a × 1 × 1_, and so on.