fix typo in TypeChecker doc

Viewtiful · Viewtiful · commit 861a176d8d9d · 2015-12-04T20:50:44.000+01:00
diff --git a/docs/TypeChecker.rst b/docs/TypeChecker.rst
@@ -805,7 +805,7 @@ an overloaded function. Additionally, when comparing two solutions to
 the same constraint system, overload sets present in both solutions
 can be found by comparing the locators for each of the overload
 choices made in each solution. Naturally, all of these operations
-require locators to be uniqued, which occurs in the constraint system
+require locators to be unique, which occurs in the constraint system
 itself.
 
 Simplifying Locators
