diff options
Diffstat (limited to 'tactics/setoid_replace.mli')
| -rw-r--r-- | tactics/setoid_replace.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tactics/setoid_replace.mli b/tactics/setoid_replace.mli index 917b3e02fb..3469d0cd44 100644 --- a/tactics/setoid_replace.mli +++ b/tactics/setoid_replace.mli @@ -30,6 +30,7 @@ type 'a morphism = { args : (bool option * 'a relation_class) list; output : 'a relation_class; lem : constr; + morphism_theory : constr } type morphism_signature = (bool option * constr_expr) list * constr_expr |