Merge pull request #4179 from robstoll/patch-4

Blaisorblade · web-flow · commit ca6e2cc26a56 · 2018-03-26T09:23:40.000+02:00
fix parameter name in general example description
diff --git a/docs/docs/reference/dependent-function-types.md b/docs/docs/reference/dependent-function-types.md
@@ -48,6 +48,6 @@ translates to
     }
 
 where the result type parameter `R'` is an upper approximation of the
-true result type `R` that does not mention any of the parameters `e1, ..., eN`.
+true result type `R` that does not mention any of the parameters `x1, ..., xN`.
 
 

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,6 @@ translates to`
`48`	`48`	`}`
`49`	`49`
`50`	`50`	where the result type parameter `R'` is an upper approximation of the
`51`		-true result type `R` that does not mention any of the parameters `e1, ..., eN`.
	`51`	+true result type `R` that does not mention any of the parameters `x1, ..., xN`.
`52`	`52`
`53`	`53`