From c19e499b38dfd13a67386aa1ed13f9adb2cec720 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 8 Jul 2024 10:31:31 +0100
Subject: [PATCH] Fix path in the libcxx step

---
 build-llvm13.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-llvm13.md b/build-llvm13.md
index 5d7a1e4f..db7396cb 100644
--- a/build-llvm13.md
+++ b/build-llvm13.md
@@ -119,7 +119,7 @@ KLEE does not work under x86-32.
    Make sure that `clang++-13` is in your path. Then, run from the main KLEE source directory:
 
    ```bash
-   $ LLVM_VERSION=13 BASE=<LIBCXX_DIR> ENABLE_OPTIMIZED=1 DISABLE_ASSERTIONS=1 ENABLE_DEBUG=0 REQUIRES_RTTI=1 klee/scripts/build/build.sh libcxx
+   $ LLVM_VERSION=13 BASE=<LIBCXX_DIR> ENABLE_OPTIMIZED=1 DISABLE_ASSERTIONS=1 ENABLE_DEBUG=0 REQUIRES_RTTI=1 scripts/build/build.sh libcxx
    ```
    where `<LIBCXX_DIR>` is the absolute path where libc++ should be cloned and built.