Fix typo in "Using the GSL: A Tutorial and FAQ" (#1828)

definability · web-flow · commit c4cdbe369e2c · 2021-09-05T23:25:01.000-04:00
Duplicated `is` is redundant.
diff --git a/docs/gsl-intro.md b/docs/gsl-intro.md
@@ -112,7 +112,7 @@ void dangerous_process_ints(int* p, size_t n) {
 }
 ~~~
 
-A `span` supports range-`for` -- note this is zero-overhead and does not need to perform any range check, because the range-`for` loop is is known by construction not to exceed the range's bounds:
+A `span` supports range-`for` -- note this is zero-overhead and does not need to perform any range check, because the range-`for` loop is known by construction not to exceed the range's bounds:
 
 ~~~cpp
 void process_ints(span<int> s) {

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ void dangerous_process_ints(int* p, size_t n) {`
`112`	`112`	`}`
`113`	`113`	`~~~`
`114`	`114`
`115`		-A `span` supports range-`for` -- note this is zero-overhead and does not need to perform any range check, because the range-`for` loop is is known by construction not to exceed the range's bounds:
	`115`	+A `span` supports range-`for` -- note this is zero-overhead and does not need to perform any range check, because the range-`for` loop is known by construction not to exceed the range's bounds:
`116`	`116`
`117`	`117`	`~~~cpp`
`118`	`118`	`void process_ints(span<int> s) {`