From 6459e392604426798e1ada4fc754cf117675a913 Mon Sep 17 00:00:00 2001
From: Brandon Dyck <brandon@dyck.us>
Date: Wed, 5 Jul 2023 10:24:03 -0600
Subject: [PATCH] Fixed typo in RecordPattern.ToString

---
 AST.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AST.cs b/AST.cs
index 41bd7fe..c41960f 100644
--- a/AST.cs
+++ b/AST.cs
@@ -74,6 +74,6 @@ public partial record RecordPattern
 {
 	public override string ToString()
 	{
-		return $"Let {{ Bindings = {string.Join(", ", (IEnumerable<object?>)(this.Fields))}, Rest = {this.Rest} }}";
+		return $"RecordPattern {{ Bindings = {string.Join(", ", (IEnumerable<object?>)(this.Fields))}, Rest = {this.Rest} }}";
 	}
 }