diff options
| author | Tom Gundersen <teg@jklm.no> | 2015-03-12 12:23:59 +0100 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2015-03-12 12:23:59 +0100 |
| commit | 103635db51044e6b56efda08bfe98ed78a218b75 (patch) | |
| tree | dc9bdfb907524bb46f511116afcc72670326f7ce /src/core | |
| parent | 6969c349df91a3cc5fc2cf559a14e32a84db969d (diff) | |
core: add missing words to my fix of explanation of associativity
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/job.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/core/job.c b/src/core/job.c index 921252256..2ef9123ae 100644 --- a/src/core/job.c +++ b/src/core/job.c @@ -318,7 +318,7 @@ void job_dump(Job *j, FILE*f, const char *prefix) { * the following properties hold: * * Merging is associative! A merged with B, and then merged with C is the same - * A merged with the result B merged with C. + * as A merged with the result of B merged with C. * * Mergeability is transitive! If A can be merged with B and B with C then * A also with C. |