From ee940c36aff61ccf03aea24edd4435d62acb6727 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <shaz.qadeer@gmail.com>
Date: Fri, 26 Jan 2024 07:22:22 -0800
Subject: [PATCH] Update README.md (#838)

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

diff --git a/README.md b/README.md
index c5cb67b46..59a085c79 100644
--- a/README.md
+++ b/README.md
@@ -88,7 +88,7 @@ Call Boogie with `/proverOpt:SOLVER=CVC5`.
 
 ### Yices2 (experimental)
 
-Call Boogie with `/proverOpt:SOLVER=Yices2 /useArrayTheory`.
+Call Boogie with `/proverOpt:SOLVER=Yices2`.
 
 Works for unquantified fragments, e.g. arrays + arithmetic + bitvectors. Does
 not work for quantifiers, generalized arrays, datatypes.