From 7235b120fdac027988619413a773caef1b7f8ef3 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Mon, 26 Apr 2021 07:09:46 -0700 Subject: [PATCH] Remove reference to `deps/saw-core` in README.md. --- README.md | 1 - 1 file changed, 1 deletion(-) diff --git a/README.md b/README.md index 0ce5a1b4d9..d8478c9635 100644 --- 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