diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-02-03 14:04:30 +0100 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-02-24 13:35:05 +0100 |
| commit | 6c7adbe89b69a08cba9cc47b39ecf1cdc9cc536d (patch) | |
| tree | d9e4fb25cecdf3054c222f862e35e11935f43323 /pretyping/evarconv.mli | |
| parent | c8c5bd077699599ec48447bd9676317a22170c8a (diff) | |
Reductionops.Stack.strip* are ready to deal with Shift
Diffstat (limited to 'pretyping/evarconv.mli')
| -rw-r--r-- | pretyping/evarconv.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pretyping/evarconv.mli b/pretyping/evarconv.mli index 65eae6560..89993189f 100644 --- a/pretyping/evarconv.mli +++ b/pretyping/evarconv.mli @@ -45,8 +45,8 @@ val check_problems_are_solved : evar_map -> unit (** Check if a canonical structure is applicable *) val check_conv_record : constr * types Stack.t -> constr * types Stack.t -> - constr * constr list * (constr list * constr list) * - (constr list * types list) * + constr * constr list * (constr Stack.t * constr Stack.t) * + (constr Stack.t * types Stack.t) * (constr Stack.t * types Stack.t) * constr * (int * constr) |