Merge branch 'master' of github.com:SRI-CSL/yices2

SRI-CSL · Apr 13, 2021 · bc50beb · bc50beb
2 parents 936bdff + 12378df
commit bc50beb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -188,7 +188,7 @@ If you want the MC-SAT solver, follow these instructions:
 1. Install SRI's library for polynomial manipulation. It's available
    on [github](https://github.com/SRI-CSL/libpoly).
 
-2. Install the CUDD library for binary-decision diagrams. We recommand
+2. Install the CUDD library for binary-decision diagrams. We recommend
    using the github distribution: https://github.com/ivmai/cudd.
 
 3. After you've installed libpoly and CUDD, add option