Rollup merge of #25575 - clatour:patch-2, r=steveklabnik

Looks like this was an issue in the source material. I've let the editor know and he has told me he is correcting it there as well.

r? @steveklabnik
This commit is contained in:
Manish Goregaokar 2015-05-19 18:47:14 +05:30
commit 02b79c4763

View file

@ -18,7 +18,7 @@ called the dining philosophers. It was originally conceived by Dijkstra in
> in his own chair, picked up his own fork on his left, and plunged it into the
> spaghetti. But such is the tangled nature of spaghetti that a second fork is
> required to carry it to the mouth. The philosopher therefore had also to pick
> up the fork on his right. When we was finished he would put down both his
> up the fork on his right. When he was finished he would put down both his
> forks, get up from his chair, and continue thinking. Of course, a fork can be
> used by only one philosopher at a time. If the other philosopher wants it, he
> just has to wait until the fork is available again.