diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/ssr/ssrfwd.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/ssr/ssrfwd.mli b/plugins/ssr/ssrfwd.mli index 63df8f5349..d57884c3ec 100644 --- a/plugins/ssr/ssrfwd.mli +++ b/plugins/ssr/ssrfwd.mli @@ -61,3 +61,6 @@ val undertac : Ltac_plugin.Tacinterp.interp_sign -> Names.Id.t list -> Ssrequality.ssrrwarg -> Ltac_plugin.Tacinterp.Value.t Ssrast.ssrhint -> unit Proofview.tactic + +val overtac : + Tacmach.tactic |