diff --git a/source/exec.tex b/source/exec.tex index 34d0a3ebd6..2cf56ce244 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -8286,8 +8286,8 @@ where \tcode{sch} is associated with \tcode{ptr}. \pnum -The expression \tcode{get_forward_progress_guarantee(sch)} returns -\tcode{forward_progress_guarantee::paral\-lel}. +The expression \tcode{get_forward_progress_guarantee(sch)} has the value +\tcode{forward_progress_guarantee::\brk{}parallel}. \pnum Let \tcode{sch2} be an object of type \tcode{parallel_scheduler}.