From 5be05f3fec5009d68563d54b383ebc602585f332 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Sun, 18 Feb 2018 00:01:28 +0100
Subject: [PATCH] readme fix

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

diff --git a/README.md b/README.md
index e80322c..14dda77 100644
--- a/README.md
+++ b/README.md
@@ -71,7 +71,7 @@ A docker daemon should be started/enabled.
 
 In the current folder:
 
-> docker run --rm --user $(id -u):$(id -g) -v ($PDW)/klee-examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
+> docker run --rm --user $(id -u):$(id -g) -v $PWD/target/x86_64-unknown-linux-gnu/release/examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
 
 This starts a shell in the docker `llvm-klee-4`, with a shared mount to the examples directory, where your `empty-xxxx.bc` is located.
 
-- 
GitLab