doc(tactic/auto_cases): fix typo (#5784)

leanprover-community · Jan 17, 2021 · bf46986 · bf46986
1 parent 289df3a
commit bf46986
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tactic/auto_cases.lean b/src/tactic/auto_cases.lean
@@ -18,7 +18,7 @@ meta structure auto_cases_tac :=
 /-- The `auto_cases_tac` for `tactic.cases`. -/
 meta def tac_cases : auto_cases_tac := ⟨"cases", cases⟩
 
-/-- The `auto_cases_tac` for `tactic.induction⟩`. -/
+/-- The `auto_cases_tac` for `tactic.induction`. -/
 meta def tac_induction : auto_cases_tac := ⟨"induction", induction⟩
 
 /-- Find an `auto_cases_tac` which matches the given `type : expr`. -/