Fix README instructions

au-ts · Dec 7, 2021 · 76ac6ee · 76ac6ee
1 parent e67a01e
commit 76ac6ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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`
 
 ---