diff --git a/tools/memory-model/README b/tools/memory-model/README index 0b3a5f3c9ccddd2d0925cd90214600181b4e1968..734f7feaa5dc59f294bc351416aa370024d4818c 100644 --- a/tools/memory-model/README +++ b/tools/memory-model/README @@ -20,7 +20,7 @@ that litmus test to be exercised within the Linux kernel. REQUIREMENTS ============ -Version 7.48 of the "herd7" and "klitmus7" tools must be downloaded +Version 7.49 of the "herd7" and "klitmus7" tools must be downloaded separately: https://github.com/herd/herdtools7