diff --git a/slide/7.html b/slide/7.html index 53a07ca..40c782a 100644 --- a/slide/7.html +++ b/slide/7.html @@ -14,7 +14,7 @@ begin busy := false; nonbusy.signal - end; + end; busy := false; end single resource