_content/blog: fix grammar

Change-Id: I6aa2feab8dec5e7b057cef94dfa7188a0ce361ee
Reviewed-on: https://go-review.googlesource.com/c/website/+/534435
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Reviewed-by: Ian Lance Taylor <iant@google.com>
diff --git a/_content/blog/type-inference.md b/_content/blog/type-inference.md
index c02cf41..9b520fb 100644
--- a/_content/blog/type-inference.md
+++ b/_content/blog/type-inference.md
@@ -897,7 +897,7 @@
 
 As a consequence, depending on the order in which unification solves the two type equations,
 the inferred type is either `struct{}` or `T`.
-This is of course unsatisfying: a program may suddenly stop to compile simply because arguments
+This is of course unsatisfying: a program may suddenly stop compiling simply because arguments
 may have been shuffled around during a code refactoring or cleanup.