diff options
Diffstat (limited to 'pretyping/evarconv.ml')
| -rw-r--r-- | pretyping/evarconv.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/pretyping/evarconv.ml b/pretyping/evarconv.ml index f931d723f..30f6de5c2 100644 --- a/pretyping/evarconv.ml +++ b/pretyping/evarconv.ml @@ -582,10 +582,6 @@ let filter_possible_projections c ty ctxt args = Idset.mem id tyvars) ctxt args -let initial_evar_data evi = - let ids = List.map pi1 (evar_context evi) in - (evar_filter evi, List.map mkVar ids) - let solve_evars = ref (fun _ -> failwith "solve_evars not installed") let set_solve_evars f = solve_evars := f |