From 06519a5b966d3f257d9e2885e1955dc5d511a7d4 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 30 Apr 2018 15:02:00 +0200 Subject: c-user: Fix typo --- c-user/glossary.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'c-user/glossary.rst') diff --git a/c-user/glossary.rst b/c-user/glossary.rst index 949c982..950898b 100644 --- a/c-user/glossary.rst +++ b/c-user/glossary.rst @@ -91,8 +91,8 @@ Glossary cluster We have clustered scheduling in case the set of processors of a system is partitioned into non-empty pairwise disjoint subsets. These subsets are - calledclusters. Clusters with a cardinality of one are partitions. Each - cluster is owned by exactly one scheduler instance. + called clusters. Clusters with a cardinality of one are partitions. + Each cluster is owned by exactly one scheduler instance. coalesce The process of merging adjacent holes into a single larger hole. -- cgit v1.2.3