diff options
| author | Erik Martin-Dorel | 2019-02-25 18:12:06 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-23 12:54:43 +0200 |
| commit | adbb10dc627faa199bc4164b45740f62af8dc3fc (patch) | |
| tree | 146f077f1ae3d5a0429d5ecf4fa0d35a93bb36a8 /plugins | |
| parent | 19e3ce970fd8f6d9922006aa30620a2b9db1cd06 (diff) | |
[ssr] over: Add Ssrfwd.overtac in the .mli
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 |