diff --git a/source/threads.tex b/source/threads.tex index 7b59b6c533..6a59070e5a 100644 --- a/source/threads.tex +++ b/source/threads.tex @@ -1,5 +1,5 @@ %!TEX root = std.tex -\rSec0[thread]{Thread support library} +\rSec0[thread]{Concurrency support library} \rSec1[thread.general]{General}