diff --git a/README.md b/README.md
index a21b7ac32..919b79cd6 100644
--- a/README.md
+++ b/README.md
@@ -21,8 +21,7 @@ Pono was awarded the Oski Award under its original name _cosa2_ at [HWMCC'19](ht
 
 ## Setup
 
-* [optional] Install bison and flex
-  * If you don't have flex installed globally, run `./contrib/setup-flex.sh`
+* [optional] Install bison
   * Bison should be available in your OS package manager (Linux) or Homebrew (macOS).
 * Run `./contrib/setup-smt-switch.sh` -- it will build smt-switch with Bitwuzla
   * [optional] to build with MathSAT (required for interpolation-based model checking) you need to obtain the libraries yourself