diff options
| author |  gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-05-09 20:48:23 +0000 |
|---|---|---|
| committer | gareuselesinge <gareuselesinge@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-05-09 20:48:23 +0000 |
| commit | 6105951610e140828d5be2c187c927d2119c8df0 (patch) | |
| tree | 8e7c46059e562a62f0ad9abff64a75c6f5bdb4a0 /library/kindops.mli | |
| parent | 8fd5b51c3dc21a6ef4c996edd3968c3082274276 (diff) | |
Cosmetic change
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16501 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'library/kindops.mli')
| -rw-r--r-- | library/kindops.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/library/kindops.mli b/library/kindops.mli index 14be70a91..fd7f76dbd 100644 --- a/library/kindops.mli +++ b/library/kindops.mli @@ -12,5 +12,4 @@ open Decl_kinds val logical_kind_of_goal_kind : goal_object_kind -> logical_kind val string_of_theorem_kind : theorem_kind -> string -val string_of_definition_kind : - locality * definition_object_kind -> string +val string_of_definition_kind : definition_kind -> string |