From 2d71b68acf464e2fbc1835f71f716404e34eb300 Mon Sep 17 00:00:00 2001
From: Alan Jeffrey <403333+asajeffrey@users.noreply.github.com>
Date: Tue, 18 Oct 2022 16:54:01 -0500
Subject: [PATCH] Update docs/_posts/2022-10-31-luau-semantic-subtyping.md

Co-authored-by: Alexander McCord <11488393+alexmccord@users.noreply.github.com>
---
 docs/_posts/2022-10-31-luau-semantic-subtyping.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/_posts/2022-10-31-luau-semantic-subtyping.md b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
index 8db035b9..65db643d 100644
--- a/docs/_posts/2022-10-31-luau-semantic-subtyping.md
+++ b/docs/_posts/2022-10-31-luau-semantic-subtyping.md
@@ -161,7 +161,7 @@ type Triangle = Line
   & ((Blue) -> (Color) -> (Blue) -> false)
 ```
 
-Now, `Triangle` is a subtype of `Uncolorable`, but `Line is not`, since the line can be 2-colored.
+Now, `Triangle` is a subtype of `Uncolorable`, but `Line` is not, since the line can be 2-colored.
 This can be generalized to any finite graph with any finite number of colors, and so subtype checking is NP-hard.
 
 We deal with this in two ways: