diff options
author | Gaëtan Gilbert <gaetan.gilbert@ens-lyon.fr> | 2017-08-31 16:01:11 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-03 13:36:05 +0200 |
commit | b1b89157a7ab59278db1fed77f41cab2aa2d3a9f (patch) | |
tree | fb8a869c5a23c0b6392f35fa9178add3a46bf044 /tools | |
parent | 3e5505719ca9689a01f2b5c53e275e80201c64c4 (diff) |
Coq_makefile.generate_conf_coq_config: remove unused argument.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/coq_makefile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 6f11ee397..ad489da82 100644 --- a/tools/coq_makefile.ml +++ b/tools/coq_makefile.ml @@ -218,7 +218,7 @@ let windrive s = else "" ;; -let generate_conf_coq_config oc args = +let generate_conf_coq_config oc = section oc "Coq configuration."; let src_dirs = Coq_config.all_src_dirs in Envars.print_config ~prefix_var_name:"COQMF_" oc src_dirs; @@ -282,7 +282,7 @@ let generate_conf oc project args = fprintf oc "# %s\n\n" (String.concat " " (List.map quote args)); generate_conf_files oc project; generate_conf_includes oc project; - generate_conf_coq_config oc args; + generate_conf_coq_config oc; generate_conf_defs oc project; generate_conf_doc oc project; generate_conf_extra_target oc project.extra_targets; |