doc(algebra/hierarchy_design): fix my name (#12674)

leanprover-community · Mar 15, 2022 · 88a5978 · 88a5978
1 parent 530f008
commit 88a5978
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/algebra/hierarchy_design.lean b/src/algebra/hierarchy_design.lean
@@ -1,7 +1,7 @@
 /-
 Copyright (c) 2021 Scott Morrison. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
-Authors: Scott Morrison, Eric Weiser
+Authors: Scott Morrison, Eric Wieser
 -/
 import tactic.doc_commands