diff options
Diffstat (limited to 'scripts/coqc.ml')
-rw-r--r-- | scripts/coqc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coqc.ml b/scripts/coqc.ml index b1e91cb30..688f7c32a 100644 --- a/scripts/coqc.ml +++ b/scripts/coqc.ml @@ -192,7 +192,7 @@ let main () = end; let coqtopname = if !image <> "" then !image - else Filename.concat (Envars.coqbin ()) (!binary ^ Coq_config.exec_extension) + else Filename.concat Envars.coqbin (!binary ^ Coq_config.exec_extension) in (* List.iter (compile coqtopname args) cfiles*) Unix.handle_unix_error (compile coqtopname args) cfiles |