Merge branch 'master' into acmepjz_tex_parser

# Conflicts: # BibtexQuery/Format.lean
dupuisf · Nov 15, 2024 · acf137b · acf137b
2 parents 9d68012 + bdc2fc3
commit acf137b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1 @@
-/build
-/lean_packages
 /.lake
diff --git a/BibtexQuery/Main.lean b/BibtexQuery/Main.lean
@@ -27,10 +27,10 @@ def listDoublons (parseRes : List BibtexQuery.Entry) : List String :=
   let keysOnly := parseRes.filterMap (fun entry => match entry with
                                                    | BibtexQuery.Entry.normalType _ name _ => some name
                                                    | _ => none)
-  let ⟨_, dupl⟩ : (Lean.HashMap String Unit) × List String :=
-    keysOnly.foldl (init := ⟨Lean.HashMap.empty, []⟩)
+  let ⟨_, dupl⟩ : (Std.HashMap String Unit) × List String :=
+    keysOnly.foldl (init := ⟨Std.HashMap.empty, []⟩)
       (fun ⟨hsh, lst⟩ key =>
-        match hsh.find? key with
+        match hsh[key]? with
         | none => ⟨hsh.insert key (), lst⟩
         | some _ => ⟨hsh, (key :: lst)⟩)
   dupl