From 6105951610e140828d5be2c187c927d2119c8df0 Mon Sep 17 00:00:00 2001 From: gareuselesinge Date: Thu, 9 May 2013 20:48:23 +0000 Subject: Cosmetic change git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16501 85f007b7-540e-0410-9357-904b9bb8a0f7 --- library/kindops.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'library/kindops.mli') 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 -- cgit v1.2.3