diff options
| author | Pierre-Marie Pédrot | 2020-04-30 17:35:21 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-03 13:09:49 +0200 |
| commit | fcef4f7d643d40cb652580e507d7bda914e8b9f2 (patch) | |
| tree | 4702f08ea499ea1b00ad699ed4942dc880b53ae3 /plugins/ssr/ssrcommon.mli | |
| parent | 86751a2069fd3360742d44dbe66c221894196ad6 (diff) | |
Further port SSReflect tactics to the new engine.
Diffstat (limited to 'plugins/ssr/ssrcommon.mli')
| -rw-r--r-- | plugins/ssr/ssrcommon.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssr/ssrcommon.mli b/plugins/ssr/ssrcommon.mli index 9229b6d384..f655457c63 100644 --- a/plugins/ssr/ssrcommon.mli +++ b/plugins/ssr/ssrcommon.mli @@ -355,7 +355,7 @@ val rewritetac : ?under:bool -> ssrdir -> EConstr.t -> tactic type name_hint = (int * EConstr.types array) option ref val gentac : - Ssrast.ssrdocc * Ssrmatching.cpattern -> v82tac + Ssrast.ssrdocc * Ssrmatching.cpattern -> unit Proofview.tactic val genstac : ((Ssrast.ssrhyp list option * Ssrmatching.occ) * |