ticks

leanprover-community · May 19, 2024 · ce8373f · ce8373f
1 parent f8d273b
commit ce8373f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/count_decls.lean b/scripts/count_decls.lean
@@ -79,7 +79,7 @@ def updateTally (s : Tally) (n : Name) (c : ConstantInfo) :
     else
       return {s with data := s.data.insert n}
 
-/-- extends a `Tally` all the ConstantInfos in the environment. -/
+/-- extends a `Tally` all the `ConstantInfos` in the environment. -/
 def mkTally (s : Tally) : MetaM Tally := do
   let env ← getEnv
 --  let maths ← MathlibModIdxs env