diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-23 00:58:17 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-23 00:58:17 +0200 |
| commit | 47fbb3a74b9bd52b19e63e695fb1902ed345488e (patch) | |
| tree | 1fa04bcc4d12d45b5682cb87447b289ced3b6a6a /tactics/tactics.mli | |
| parent | a67cc6941434124465f20b14a1256f2ede31a60e (diff) | |
Tactics.unify in the new monad.
Diffstat (limited to 'tactics/tactics.mli')
| -rw-r--r-- | tactics/tactics.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/tactics.mli b/tactics/tactics.mli index e5ba7f14c..d7a88787b 100644 --- a/tactics/tactics.mli +++ b/tactics/tactics.mli @@ -387,7 +387,7 @@ val generalize_dep : ?with_let:bool (** Don't lose let bindings *) -> constr - (** {6 Other tactics. } *) -val unify : ?state:Names.transparent_state -> constr -> constr -> tactic +val unify : ?state:Names.transparent_state -> constr -> constr -> unit Proofview.tactic val tclABSTRACT : Id.t option -> unit Proofview.tactic -> unit Proofview.tactic |