Merge pull request #2211 from GaloisInc/bump-entree-specs

Bump the entree-specs commit

.github/workflows/ci.yml

@@ -366,7 +366,7 @@ jobs:
 
         # If you change the entree-specs commit below, make sure you update the
         # documentation in saw-core-coq/README.md accordingly.
-      - run: opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git#d871d0af37ffee757e3be1f8d776bd7e84399712
+      - run: opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git#f104f6b3e6fe5987d543d90265cdc52f532de5fe
 
       # FIXME: the following steps generate Coq libraries for the SAW core to
       # Coq translator and builds them; if we do other Coq tests, these steps

saw-core-coq/README.md

@@ -31,12 +31,12 @@ sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.
 opam init
 opam repo add coq-released https://coq.inria.fr/opam/released
 opam install -y coq-bits
-opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git#d871d0af37ffee757e3be1f8d776bd7e84399712
+opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git#f104f6b3e6fe5987d543d90265cdc52f532de5fe
 ```
 
 We have pinned the `entree-specs` dependency's commit to ensure that it points
 to a known working version. If you are an advanced user who wishes to use the
-latest `entree-specs commit, you can ommit the commit hash:
+latest `entree-specs commit, you can omit the commit hash:
 
 ```
 opam pin -y entree-specs https://github.com/GaloisInc/entree-specs.git