summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Gundersen <teg@jklm.no>2015-03-11 14:53:16 +0100
committerTom Gundersen <teg@jklm.no>2015-03-11 14:55:18 +0100
commit48b4eab497c8d337e0c892291405ea4201da4572 (patch)
tree7415cb982ebd3c25f7c0b487db16fc9e0396041d
parentec2c7b56599981a7d9e76b15c75af3e1af3e6f81 (diff)
core: fix explanation of associativity
-rw-r--r--src/core/job.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/job.c b/src/core/job.c
index db7ebae6b1..9212522562 100644
--- a/src/core/job.c
+++ b/src/core/job.c
@@ -317,8 +317,8 @@ void job_dump(Job *j, FILE*f, const char *prefix) {
* the JOB_RELOAD_OR_START, which lies outside the lookup function's domain),
* the following properties hold:
*
- * Merging is associative! A merged with B merged with C is the same as
- * A merged with C merged with B.
+ * Merging is associative! A merged with B, and then merged with C is the same
+ * A merged with the result B merged with C.
*
* Mergeability is transitive! If A can be merged with B and B with C then
* A also with C.