diff options
Diffstat (limited to 'proofs/proofview.mli')
| -rw-r--r-- | proofs/proofview.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/proofview.mli b/proofs/proofview.mli index d822f933be..45a0c94846 100644 --- a/proofs/proofview.mli +++ b/proofs/proofview.mli @@ -133,7 +133,7 @@ type 'a case = case it is [false]. *) val apply : Environ.env -> 'a tactic -> proofview -> 'a * proofview - * (bool*(Goal.goal list*Goal.goal list)) + * (bool*Goal.goal list*Goal.goal list) (*** tacticals ***) |