diff options
| -rw-r--r-- | contrib/xml/cic2acic.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/xml/cic2acic.ml b/contrib/xml/cic2acic.ml index 4877aa3896..14c2521cc6 100644 --- a/contrib/xml/cic2acic.ml +++ b/contrib/xml/cic2acic.ml @@ -137,7 +137,7 @@ let token_list_of_kernel_name ~keep_sections kn tag = let dir = match tag with | Variable -> if keep_sections then Lib.cwd () else - LN.extract_dirpath_prefix (Lib.sections_depth ()) (Lib.cwd ()) in + LN.extract_dirpath_prefix (Lib.sections_depth ()) (Lib.cwd ()) | Constant -> let ref = LN.ConstRef kn in if keep_sections then LN.dirpath (Nametab.sp_of_global ref) |