diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2018-07-22 18:19:26 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2018-07-22 18:19:26 -0400 |
| commit | 234f5479773d43a48e67c5c0ea361445c7fb6782 (patch) | |
| tree | 0609f0aef4769561d3bee2049c5c973f40b20be3 /lib/future.mli | |
| parent | 32415df7e24d4d79a00fae95a5f619980b006c61 (diff) | |
Correct some spelling errorsmaster
Lintian found some spelling errors in the Debian packaging for coq. Fix
them most places they appear in the current source. (Don't change
documentation anchor names, as that would invalidate external
deeplinks.)
This also fixes a bug in coqdoc: prior to this commit, coqdoc would
highlight `instanciate` but not `instantiate`.
Diffstat (limited to 'lib/future.mli')
| -rw-r--r-- | lib/future.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/future.mli b/lib/future.mli index d9e8c87b2..55f05518b 100644 --- a/lib/future.mli +++ b/lib/future.mli @@ -70,10 +70,10 @@ val fix_exn_of : 'a computation -> fix_exn (* Run remotely, returns the function to assign. If not blocking (the default) it raises NotReady if forced before the delegate assigns it. *) -type 'a assignement = [ `Val of 'a | `Exn of Exninfo.iexn | `Comp of 'a computation] +type 'a assignment = [ `Val of 'a | `Exn of Exninfo.iexn | `Comp of 'a computation] val create_delegate : ?blocking:bool -> name:string -> - fix_exn -> 'a computation * ('a assignement -> unit) + fix_exn -> 'a computation * ('a assignment -> unit) (* Given a computation that is_exn, replace it by another one *) val replace : 'a computation -> 'a computation -> unit |