From adbb10dc627faa199bc4164b45740f62af8dc3fc Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Mon, 25 Feb 2019 18:12:06 +0100
Subject: [ssr] over: Add Ssrfwd.overtac in the .mli

---
 plugins/ssr/ssrfwd.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'plugins')

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
-- 
cgit v1.2.3