From 8b630922c1985cf3e3b6526a13f7cf1e980ac9a6 Mon Sep 17 00:00:00 2001
From: Bernhard Kragl <bernhard.kragl@gmail.com>
Date: Sat, 21 Dec 2019 00:43:27 +0100
Subject: [PATCH] Fix typo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index df7453454..e12542cbe 100644
--- a/README.md
+++ b/README.md
@@ -105,7 +105,7 @@ Support for [CVC4](https://cvc4.github.io/) and
 
 ### Z3
 
-The current test suite assumes version 4.8.4, but earlier and never versions may
+The current test suite assumes version 4.8.4, but earlier and newer versions may
 also work.
 
 Option 1: Make sure a Z3 executable called `z3` or `z3.exe` is in your `PATH`