chore: remove unnecessary 'open'; compatibility with v4.11.0-rc3

leanprover-community / quote4

Intuitive, type-safe expression quotations for Lean 4.

Apache License 2.0

75 stars 12 forks source link

Closed kim-em closed 2 months ago

kim-em commented 2 months ago

This open statement is unneeded, and if we remove it then we gain compatibility with v4.11.0-rc3 (where Std.HashMap and Lean.HashMap clash).