diff options
Diffstat (limited to 'tactics/tactics.mli')
| -rw-r--r-- | tactics/tactics.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tactics/tactics.mli b/tactics/tactics.mli index 9f4f0e9ce..671343b12 100644 --- a/tactics/tactics.mli +++ b/tactics/tactics.mli @@ -394,8 +394,6 @@ val declare_intro_decomp_eq : (types * constr * constr) -> clausenv -> unit Proofview.tactic) -> unit -val emit_side_effects : Declareops.side_effects -> tactic - module Simple : sig (** Simplified version of some of the above tactics *) |