tools/memory-model/README: Mention herdtools7 7.56 in compatibility t…

…able herdtools7 7.56 is going to be released in the week of 22 Jun 2020. This commit therefore adds the exact version in the compatibility table. Acked-by: Andrea Parri <[email protected]> Signed-off-by: Akira Yokosawa <[email protected]> Signed-off-by: Paul E. McKenney <[email protected]>
wafgo · Jun 29, 2020 · 2bfa5c6 · 2bfa5c6
1 parent d075a78
commit 2bfa5c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/memory-model/README b/tools/memory-model/README
@@ -54,7 +54,7 @@ klitmus7 Compatibility Table
 	     -- 4.18  7.48 --
 	4.15 -- 4.19  7.49 --
 	4.20 -- 5.5   7.54 --
-	5.6  --       HEAD
+	5.6  --       7.56 --
 	============  ==========