diff options
Diffstat (limited to 'tactics/autorewrite.mli')
| -rw-r--r-- | tactics/autorewrite.mli | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/tactics/autorewrite.mli b/tactics/autorewrite.mli index e5125ffe50..6df2ea9b12 100644 --- a/tactics/autorewrite.mli +++ b/tactics/autorewrite.mli @@ -28,11 +28,11 @@ val autorewrite_in : ?conds:conditions -> Names.Id.t -> unit Proofview.tactic -> (** Rewriting rules *) type rew_rule = { rew_lemma: constr; - rew_type: types; - rew_pat: constr; - rew_ctx: Univ.ContextSet.t; - rew_l2r: bool; - rew_tac: Genarg.glob_generic_argument option } + rew_type: types; + rew_pat: constr; + rew_ctx: Univ.ContextSet.t; + rew_l2r: bool; + rew_tac: Genarg.glob_generic_argument option } val find_rewrites : string -> rew_rule list |