diff options
| author | sacerdot | 2004-03-25 09:25:04 +0000 |
|---|---|---|
| committer | sacerdot | 2004-03-25 09:25:04 +0000 |
| commit | 14661766032d1451b3569fb9780ab71dea99c603 (patch) | |
| tree | 59eff40185e17abc4e4b5cddd50bd4911403095f | |
| parent | c67b3992ee47cd7e502293d1abadb58959d7b60b (diff) | |
Comment removed.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5559 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | contrib/xml/cic2acic.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/xml/cic2acic.ml b/contrib/xml/cic2acic.ml index 68514a6bea..e8718430d0 100644 --- a/contrib/xml/cic2acic.ml +++ b/contrib/xml/cic2acic.ml @@ -106,8 +106,6 @@ let token_list_of_kernel_name ~keep_sections kn tag = token_list_of_modpath path @ [N.string_of_label label] | N.MPfile dirpath -> token_list_of_dirpath dirpath | N.MPself self -> -(*CSC: ask Hugo if there is a better way *) -(*CSC: also check if multiple ways have been used *) if self = Names.initial_msid then [ "Top" ] else |