diff options
Diffstat (limited to 'proofs/goal.mli')
| -rw-r--r-- | proofs/goal.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/goal.mli b/proofs/goal.mli index 345f46abf..267d26493 100644 --- a/proofs/goal.mli +++ b/proofs/goal.mli @@ -103,7 +103,7 @@ val refine : refinable -> subgoals sensitive (*** Cleaning goals ***) (* Implements the [clear] tactic *) -val clear : Names.Id.t list -> subgoals sensitive +val clear : Names.Id.Set.t -> subgoals sensitive (* Implements the [clearbody] tactic *) val clear_body : Names.Id.t list -> subgoals sensitive |