From ff2aa5d3990f4959acb7e025088d829d9cd2a733 Mon Sep 17 00:00:00 2001
From: Konstantin Veretennicov <kveretennicov+github@gmail.com>
Date: Mon, 27 Apr 2020 19:16:16 +0100
Subject: [PATCH] Fix example code in README

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

diff --git a/README.md b/README.md
index 759043e..5d24691 100644
--- a/README.md
+++ b/README.md
@@ -94,7 +94,7 @@ phi1 = a.eventually()
 phi2 = (a & b).always()
 
 # `a` until `b`
-phi3 = a.until()
+phi3 = a.until(b)
 
 # `a` weak until `b`
 phi4 = a.weak_until(b)