From b44c525f1080bc4473104844197bd86fe97092ac Mon Sep 17 00:00:00 2001
From: Alexander McCord <alex@mccord.dev>
Date: Fri, 24 May 2024 10:47:35 -0700
Subject: [PATCH] Got the type of hashcons wrong. Fixed.

---
 EqSat/include/Luau/EGraph.h | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/EqSat/include/Luau/EGraph.h b/EqSat/include/Luau/EGraph.h
index 88c0f01e..fea10a3a 100644
--- a/EqSat/include/Luau/EGraph.h
+++ b/EqSat/include/Luau/EGraph.h
@@ -42,11 +42,8 @@ private:
     /// e-class 𝑀[find(𝑎)].
     DenseHashMap<Id, EClass<L, typename N::Data>> m;
 
-    /// The hashcons 𝐻 is a map from e-nodes to e-node ids.
-    ///
-    /// Author note: the paper says this maps from e-nodes to e-class ids, but the
-    /// corresponding map in the egg crate called `memo`, they map it to e-node ids?
-    DenseHashMap<EClass<L, typename N::Data>, Id> h;
+    /// The hashcons 𝐻 is a map from e-nodes to e-class ids.
+    DenseHashMap<L, Id> h;
 };
 
 } // namespace Luau::EqSat