remove comment, trigger CI

kanaka · Aug 30, 2024 · fcdd7e5 · fcdd7e5
1 parent dee180d
commit fcdd7e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/impls/lean/LeanMal/core.lean b/impls/lean/LeanMal/core.lean
@@ -132,7 +132,7 @@ mutual
       let v := toList vvec
       if n.length != v.length then false
       else eqList n v strict
-    | Types.dictVal n, Types.dictVal v => eqDict n v strict -- mal hash-maps are Dict level 0
+    | Types.dictVal n, Types.dictVal v => eqDict n v strict
     | Types.listVal n, Types.vecVal vvec => if strict then false else
       let v := toList vvec
       if n.length != v.length then false