diff options
Diffstat (limited to 'tactics/setoid_replace.ml')
| -rw-r--r-- | tactics/setoid_replace.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tactics/setoid_replace.ml b/tactics/setoid_replace.ml index 316f3c2766..8aa5f55323 100644 --- a/tactics/setoid_replace.ml +++ b/tactics/setoid_replace.ml @@ -239,8 +239,8 @@ let prmorphism_argument_gen prrelation (variance,rel) = let prargument_class = prmorphism_argument_gen prrelation_class let pr_morphism_signature (l,c) = - prlist (prmorphism_argument_gen Ppconstrnew.pr_constr) l ++ - Ppconstrnew.pr_constr c + prlist (prmorphism_argument_gen Ppconstr.pr_constr) l ++ + Ppconstr.pr_constr c let prmorphism k m = prterm k ++ str ": " ++ |