From 48bdcefec49916116a418300672b0bd028ff91db Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Mon, 14 Nov 2022 21:52:33 +0100
Subject: [PATCH] small README.md fix

---
 README.md | 2 +-
 meta.yml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index f75b4c0..4559ddc 100644
--- 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
index 3323b4c..f3948de 100644
--- 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
   ```