diff options
| -rw-r--r-- | vernac/lemmas.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/lemmas.mli b/vernac/lemmas.mli index 79fdfe37de..67230e30f7 100644 --- a/vernac/lemmas.mli +++ b/vernac/lemmas.mli @@ -95,7 +95,7 @@ val start_dependent_lemma type lemma_possible_guards = int list list -(** Pretty much internal, only used in ComFixpoint *) +(** Pretty much internal, used by the Lemma / Fixpoint vernaculars *) val start_lemma_with_initialization : ?hook:DeclareDef.Hook.t -> poly:bool |