From 4a87e2bfc9637144db1468ca23f7d58e4c1c79ee Mon Sep 17 00:00:00 2001 From: Valentin Robert Date: Wed, 8 Oct 2025 15:20:36 -0700 Subject: [PATCH] fix incorrect path in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e0c7c2f..434ec85 100644 --- a/README.md +++ b/README.md @@ -13,5 +13,5 @@ $(PATH_TO_VELLVM_SRC)/vellvm -v -l $(PATH_TO_VELLVM_SRC)/libll/rust-intrinsics.l For example, to run it on the c2rust tests in the `example` directory, do: ``` -~/vellvm/src/vellvm -v -l ~/vellvm/src/vellvm/libll/rust-intrinsics.ll -l example/linked.ll -test-file example/vellvm_tests.ll +~/vellvm/src/vellvm -v -l ~/vellvm/src/libll/rust-intrinsics.ll -l example/linked.ll -test-file example/vellvm_tests.ll ```