Commit 589e20ca authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent 253eeedc
......@@ -89,7 +89,7 @@ let equate xenv ty1 ty2 =
(* The type-checker. *)
(* Precondition: the term [t] that we started with satisfies global uniqueness.
So, the term [t] that we are looking satisfies global uniqueness and avoids
So, the term [t] that we are looking at satisfies global uniqueness and avoids
the set of in-scope type variables, [env.tyvars]. *)
(* Precondition: if [env] maps [x] to some type [ty], then the bound variables
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment