Update core/src/term/pattern/compile.rs

tweag · Feb 15, 2024 · 446d6d9 · 446d6d9
1 parent f9385f4
commit 446d6d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/term/pattern/compile.rs b/core/src/term/pattern/compile.rs
@@ -393,7 +393,7 @@ impl Compile for MatchData {
     //
     // let value_id = value in
     //
-    // <for (pattern, body) in branches.rev()
+    // <fold (pattern, body) in branches.rev()
     //  - cont is the accumulator
     //  - initial accumulator is the default branch (or error if not default branch)
     // >