diff options
| author | Hugo Herbelin | 2014-10-04 17:34:34 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-04 17:34:34 +0200 |
| commit | c22ccd90ec45099a2e97620f32ed89e0b81daa96 (patch) | |
| tree | b043ed71293fae79c2d985e867065df79f4392d5 /pretyping/classops.mli | |
| parent | c090d3511eaabe205febc68484b7b0738b403310 (diff) | |
A few Global.env removed.
Diffstat (limited to 'pretyping/classops.mli')
| -rw-r--r-- | pretyping/classops.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/classops.mli b/pretyping/classops.mli index 1db7bbd619..e423dd247f 100644 --- a/pretyping/classops.mli +++ b/pretyping/classops.mli @@ -88,7 +88,7 @@ val lookup_path_to_fun_from : env -> evar_map -> types -> val lookup_path_to_sort_from : env -> evar_map -> types -> types * inheritance_path val lookup_pattern_path_between : - inductive * inductive -> (constructor * int) list + env -> inductive * inductive -> (constructor * int) list (**/**) (* Crade *) |