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> 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, Id> h; + /// The hashcons 𝐻 is a map from e-nodes to e-class ids. + DenseHashMap h; }; } // namespace Luau::EqSat