Update paths to saw-core-coq repo listed in saw-core-coq/README.md.

GaloisInc · Apr 26, 2021 · 6ce4543 · 6ce4543
1 parent c8a5b48
commit 6ce4543
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/saw-core-coq/README.md b/saw-core-coq/README.md
@@ -54,8 +54,8 @@ To use these libraries, the following lines can be added to a `_CoqProject`
 file, where PATH_TO_SAW is replaced by the path to the `saw-script` directory:
 
 ```
--Q PATH_TO_SAW/deps/saw-core/saw-core-coq/coq/generated/CryptolToCoq   CryptolToCoq
--Q PATH_TO_SAW/deps/saw-core/saw-core-coq/coq/handwritten/CryptolToCoq   CryptolToCoq
+-Q PATH_TO_SAW/saw-core-coq/coq/generated/CryptolToCoq   CryptolToCoq
+-Q PATH_TO_SAW/saw-core-coq/coq/handwritten/CryptolToCoq   CryptolToCoq
 ```