diff options
| -rw-r--r-- | toplevel/autoinstance.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/toplevel/autoinstance.ml b/toplevel/autoinstance.ml index 51d8379f59..16e6c87f96 100644 --- a/toplevel/autoinstance.ml +++ b/toplevel/autoinstance.ml @@ -82,9 +82,6 @@ let rec safe_define evm ev c = let add_gen_ctx (cl,gen,evm) ctx : signature * constr list = let env = Environ.empty_named_context_val in let fold_new_evar evm _ = Evarutil.new_pure_evar evm env mkProp in - let rec mksubst b = function - | [] -> [] - | a::tl -> b::(mksubst (a::b) tl) in let (evm, evl) = List.fold_map fold_new_evar evm ctx in let evcl = List.map (fun i -> mkEvar (i,[||])) evl in (* let substl = List.rev (mksubst [] (evcl)) in *) |