diff options
| author | msozeau | 2008-10-03 14:41:08 +0000 |
|---|---|---|
| committer | msozeau | 2008-10-03 14:41:08 +0000 |
| commit | 6832c60f741e6bfb2a850d567fd6a1dff7059393 (patch) | |
| tree | a31e0d9937437aa884c611a8554b80baaeae0811 /toplevel | |
| parent | b467ab92ef5bd124ae2bd19deea58765bd034f83 (diff) | |
Minor fixes related to coqdoc and --interpolate and the dependent
induction test-suite script.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11426 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/vernacentries.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml index d4c396d49f..8c0e7e05a2 100644 --- a/toplevel/vernacentries.ml +++ b/toplevel/vernacentries.ml @@ -375,7 +375,7 @@ let vernac_assumption kind l nl= let vernac_inductive f indl = if Dumpglob.dump () then List.iter (fun ((lid, _, _, cstrs), _) -> - Dumpglob.dump_definition lid false"ind"; + Dumpglob.dump_definition lid false "ind"; List.iter (fun (_, (lid, _)) -> Dumpglob.dump_definition lid false "constr") cstrs) indl; |