Update src/borrow_check/region_inference/constraint_propagation.md

nikomatsakis · lqd · mark-i-m · commit 5c92fc254ea7 · 2019-06-26T11:05:58.000-05:00
Co-Authored-By: lqd &lt;remy.rakic+github@gmail.com&gt;
diff --git a/src/borrow_check/region_inference/constraint_propagation.md b/src/borrow_check/region_inference/constraint_propagation.md
@@ -178,7 +178,7 @@ easily just by taking the union:
 
 ```
 for each region R:
-  let S by the SCC that contains R
+  let S be the SCC that contains R
   Values(S) = Values(S) union Liveness(R)
 ```
 
