From cadb9a4cc909e26a58233a4d2535b9f013bc92ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Mon, 26 Feb 2018 10:53:39 +0100
Subject: [PATCH] Spellcheck
---
examples/panic1.rs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/examples/panic1.rs b/examples/panic1.rs
index e578971..90ef243 100644
--- a/examples/panic1.rs
+++ b/examples/panic1.rs
@@ -65,7 +65,7 @@ fn idle() -> ! {
// 2> xargo build --example panic1 --features klee_mode --target x86_64-unknown-linux-gnu
//
// 1) We need a slightly older version of Rust with a LLVM 4 backend to run KLEE
-// `rustup override` will stick the direcory to a set tool-chain (run once)
+// `rustup override` will stick the directory to a set tool-chain (run once)
//
// 2) As LLVM runs on our host we generate the `.bc` with x86 as target
//
@@ -73,8 +73,8 @@ fn idle() -> ! {
//
// 3> docker run --rm --user $(id -u):$(id -g) -v $PWD/target/x86_64-unknown-linux-gnu/debug/examples:/mnt -w /mnt -it afoht/llvm-klee-4 /bin/bash
//
-// 3) This will start the docker with the right previliges and mount the directory
-// where the example `.bc` file(s) are stored (shared/overlayed with the host file system).
+// 3) This will start the docker with the right privileges and mount the directory
+// where the example `.bc` file(s) are stored (shared/overlaid with the host file system).
//
// You can now let KLEE run on the `.bc` file.
//
--
GitLab