From 28f23802f76e3bee52c263b3d47add6c622280d2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 19 Jan 2019 16:47:20 +0000
Subject: [PATCH] fix README

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 75242f553..9ac050820 100644
--- a/README.md
+++ b/README.md
@@ -135,6 +135,6 @@ we expect it to.  You can run `MAKE_REF=1 make` to re-generate all the `.ref` fi
 this is useful after adding or removing `Show.` from a test.  If you do this,
 make sure to check the diff for any unexpected changes in the output!
 
-Some test cases have per-Coq-version `.ref` files (e.g., `atomic.8.9.ref` is a
-Coq-8.9-specific `.ref` file).  If you change one of these, remember to update
+Some test cases have per-Coq-version `.ref` files (e.g., `atomic.8.8.ref` is a
+Coq-8.8-specific `.ref` file).  If you change one of these, remember to update
 *all* the `.ref` files.
-- 
GitLab