diff options
| author | Tom Gundersen <teg@jklm.no> | 2015-03-11 14:53:16 +0100 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2015-03-11 14:55:18 +0100 |
| commit | 48b4eab497c8d337e0c892291405ea4201da4572 (patch) | |
| tree | 7415cb982ebd3c25f7c0b487db16fc9e0396041d | |
| parent | ec2c7b56599981a7d9e76b15c75af3e1af3e6f81 (diff) | |
core: fix explanation of associativity
| -rw-r--r-- | src/core/job.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/core/job.c b/src/core/job.c index db7ebae6b..921252256 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. |