diff options
| -rw-r--r-- | pretyping/evarutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml index 7e4c9358e5..bc23fcec26 100644 --- a/pretyping/evarutil.ml +++ b/pretyping/evarutil.ml @@ -600,7 +600,7 @@ let project_with_effects env sigma effects t subst = c let rec find_solution_type evarenv = function - | (id,ProjectVar _)::l -> pi3 (lookup_named id evarenv) + | (id,ProjectVar)::l -> pi3 (lookup_named id evarenv) | [id,ProjectEvar _] -> (* bugged *) pi3 (lookup_named id evarenv) | (id,ProjectEvar _)::l -> find_solution_type evarenv l | [] -> assert false |