Remove reference to deps/saw-core in README.md.

GaloisInc · Apr 26, 2021 · 7235b12 · 7235b12
1 parent 775ceed
commit 7235b12
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -89,7 +89,6 @@ downloaded dependencies include:
 * `deps/abcBridge/`:        [Haskell bindings for ABC](https://github.com/GaloisInc/abcBridge)
 * `deps/crucible/`:         [Crucible symbolic execution engine](https://github.com/GaloisInc/crucible)
 * `deps/cryptol/`:          [Cryptol](https://github.com/GaloisInc/cryptol)
-* `deps/saw-core/`:         [SAWCore intermediate language](https://github.com/GaloisInc/saw-core), used by CSS, JSS, and SAWScript
 
 ## For SAW developers