Update README.md

README.md

@@ -19,14 +19,14 @@ 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 bison and flex installed globally, run `./contrib/setup-bison.sh` and `./contrib/setup-flex.sh`
+  * Even if you do have bison, you might get errors about not being able to load `-ly`. In such a case, run the bison setup script.
 * Run `./contrib/setup-smt-switch.sh` -- it will build smt-switch with boolector
   * [optional] to build with MathSAT (required for interpolant-based model checking) you need to obtain the libraries yourself
     * note that MathSAT is under a custom non-BSD compliant license and you must assume all responsibility for meeting the conditions
     * download the solver from https://mathsat.fbk.eu/download.html, unpack it and rename the directory to `./deps/mathsat`
     * then add the `--with-msat` flag to the `setup-smt-switch.sh` command.
-* [optional] Install bison and flex
-  * If you don't have bison and flex installed globally, run `./contrib/setup-bison.sh` and `./contrib/setup-flex.sh`
-  * Even if you do have bison, you might get errors about not being able to load `-ly`. In such a case, run the bison setup script.
 * Run `./contrib/setup-btor2tools.sh`.
 * Run `./configure.sh`.
   * if building with mathsat, also include `--with-msat` as an option to `configure.sh`