From 76ac6eefccd26247de55a2ce1e09687b6931d707 Mon Sep 17 00:00:00 2001
From: Louis Cheung <12205569+Cheunglo@users.noreply.github.com>
Date: Tue, 7 Dec 2021 14:18:30 +1100
Subject: [PATCH] Fix README instructions

---
 cogent/examples/cpp2022-artefact/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cogent/examples/cpp2022-artefact/README.md b/cogent/examples/cpp2022-artefact/README.md
index 9d23b3bca..702bb170d 100644
--- a/cogent/examples/cpp2022-artefact/README.md
+++ b/cogent/examples/cpp2022-artefact/README.md
@@ -117,7 +117,7 @@ To build the example, use the command:
 
 To run the example, go into the **loops** folder and use the command:
 
-`$ L4V_ARCH=ARM isabelle jedit -d $COGENT_DIR -d $AC_DIR -d . -l CogentCRefinement BinarySearch.thy`
+`$ L4V_ARCH=ARM isabelle jedit -d $COGENT_DIR -d $AC_DIR -d build -l CogentCRefinement BinarySearch.thy`
 
 ---