diff options
Diffstat (limited to 'tactics/tactics.mli')
| -rw-r--r-- | tactics/tactics.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tactics/tactics.mli b/tactics/tactics.mli index 0644bc972a..c81e1436f9 100644 --- a/tactics/tactics.mli +++ b/tactics/tactics.mli @@ -18,10 +18,6 @@ open Tacticals (*s General functions. *) -val make_clenv_binding_apply : - walking_constraints -> constr * constr -> constr substitution -> - walking_constraints clausenv - val type_clenv_binding : walking_constraints -> constr * constr -> constr substitution -> constr |