From 7221444c6089e92b15e74b62b43eebd242a2280f Mon Sep 17 00:00:00 2001 From: Pierre DAVID Date: Thu, 15 Nov 2018 07:36:36 +0100 Subject: [PATCH] Fix wait() line number Bug reported by Marie-France Kommer. --- sched.t | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sched.t b/sched.t index 37b2565..58d78f4 100644 --- a/sched.t +++ b/sched.t @@ -960,7 +960,7 @@ and skips them entirely .line proc.c:/sleeplock0/ . For example, .code wait -.line 'proc.c:/^wakeup!(/' +.line 'proc.c:/^wait/' calls .code sleep with