diff options
| author | herbelin | 2000-12-05 01:18:55 +0000 |
|---|---|---|
| committer | herbelin | 2000-12-05 01:18:55 +0000 |
| commit | 95e0512ecb3308ce6d49cfb7af35ba16d123183f (patch) | |
| tree | 99ae72183cbae70c3d9b2acba391adab50b47883 /kernel/names.mli | |
| parent | 0c889416f58fa35c9c2afb5c95dc13636101b73d (diff) | |
Mini-nettoyage noms longs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1048 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/names.mli')
| -rw-r--r-- | kernel/names.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/names.mli b/kernel/names.mli index a96534f51e..cca174463c 100644 --- a/kernel/names.mli +++ b/kernel/names.mli @@ -51,8 +51,6 @@ val kind_of_string : string -> path_kind (*s Directory paths = section names paths *) type dir_path = string list -val coq_root : dir_path - (* Printing of directory paths as ["coq_root.module.submodule"] *) val string_of_dirpath : dir_path -> string |