diff options
Diffstat (limited to 'tactics')
| -rw-r--r-- | tactics/class_tactics.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/class_tactics.ml4 b/tactics/class_tactics.ml4 index 5bd8f9f6fc..38fd3ab63f 100644 --- a/tactics/class_tactics.ml4 +++ b/tactics/class_tactics.ml4 @@ -434,7 +434,7 @@ END (** Typeclass-based rewriting. *) -let respect_proj = lazy (mkConst (List.hd (Lazy.force morphism_class).cl_projs)) +let respect_proj = lazy (mkConst (snd (List.hd (Lazy.force morphism_class).cl_projs))) let make_dir l = make_dirpath (List.map id_of_string (List.rev l)) |