diff options
Diffstat (limited to '073wait.cc')
| -rw-r--r-- | 073wait.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/073wait.cc b/073wait.cc index a223e7bd..b52f3273 100644 --- a/073wait.cc +++ b/073wait.cc @@ -403,7 +403,7 @@ def f2 [ //: //: Managing arbitrary scenarios requires the ability to: //: a) check if a routine is blocked -//: b) restart a blocked routine (`restart`) +//: b) restart a blocked routine ('restart') //: //: A routine is blocked either if it's waiting or if it explicitly signals //: that it's blocked (even as it periodically wakes up and polls for some |