# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1504655792 -3600
# Node ID 7a3572ffae4afc8e9ddfca3360a04958c0bfcb5c
# Parent  274546f0c5dc86b2808c57c29d00e01dbcff71a2
updated

diff -r 274546f0c5dc -r 7a3572ffae4a index.html
--- a/index.html	Fri Aug 18 11:09:00 2017 +0100
+++ b/index.html	Wed Sep 06 00:56:32 2017 +0100
@@ -264,7 +264,7 @@
   then processes can behave quite erratically, as <A HREF="http://www.nasa.gov">NASA</A> found out the
   <A HREF="http://catless.ncl.ac.uk/Risks/19.54.html#subj6">hard</A> way with their
   <A HREF="http://www.nasa.gov/mission_pages/mars-pathfinder/index.html">Mars Pathfinder mission</A>.
-  The priority inheritance protocol is a widely used schedulling algorithm that prevents
+  The priority inheritance protocol is a widely used scheduling algorithm that prevents
   priority inversion. However, the <A HREF="http://dx.doi.org/10.1109/12.57058">original paper</A>
   describing this algorithm contains an incorrect algorithm and a bogus correctness proof
   (this seems to be the only &quot;proof&quot; about priority inheritance in the literature).