small README.md fix

uwplse · Nov 14, 2022 · 48bdcef · 48bdcef · brando90 · Feb 15, 2023
1 parent 81a8f82
commit 48bdcef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -38,7 +38,7 @@ opam install coq-cheerios
 To instead build and install manually, do:
 ```shell
 git clone https://github.com/uwplse/cheerios.git
-cd huffman
+cd cheerios
 make   # or make -j <number-of-cores-on-your-machine> 
 make install
 ```

diff --git a/meta.yml b/meta.yml
@@ -79,7 +79,7 @@ build: |-
   To instead build and install manually, do:
   ```shell
   git clone https://github.com/uwplse/cheerios.git
-  cd huffman
+  cd cheerios
   make   # or make -j <number-of-cores-on-your-machine> 
   make install
   ```