diff options
| author | Pierre Boutillier | 2014-02-04 15:18:25 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-24 14:07:07 +0100 |
| commit | cbee386324fa6384c4f251d83ed70e84e1290142 (patch) | |
| tree | fc8ec15632adb145a8125a4c5204710b77285f86 | |
| parent | 7abc521440f9002e61ce66b25a4150f41e5a813b (diff) | |
Dead Code elimination
| -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 *) |