diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-01-03 10:53:59 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-05-23 10:48:27 +0200 |
| commit | 79bb444169f0ac919cf9672fb371ee42d98ead2e (patch) | |
| tree | ee131e022d8d181aeff3a8accc917475549f8110 /ide/coqide.ml | |
| parent | 74176c031295893d705b4afe7ea45579a50e9a7b (diff) | |
ide/project_file.ml4 -> lib/coqProject_file.ml4 + .mli
The .mli only acknowledges the current API. I'm not guilty your honor!
Diffstat (limited to 'ide/coqide.ml')
| -rw-r--r-- | ide/coqide.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 0b7567a5a..e47db8d19 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -84,7 +84,7 @@ let pr_exit_status = function let make_coqtop_args = function |None -> "", !sup_args |Some the_file -> - let get_args f = Project_file.args_from_project f + let get_args f = CoqProject_file.args_from_project f !custom_project_files project_file_name#get in match read_project#get with @@ -1346,7 +1346,7 @@ let read_coqide_args argv = else (output_string stderr "Error: multiple -coqtop options"; exit 1) |"-f" :: file :: args -> let d = CUnix.canonical_path_name (Filename.dirname file) in - let p = Project_file.read_project_file file in + let p = CoqProject_file.read_project_file file in filter_coqtop coqtop ((d,p) :: project_files) out args |"-f" :: [] -> output_string stderr "Error: missing project file name"; exit 1 |