From 85f1f494f1beba223b44066a28425d9998d8cb01 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Tue, 20 Feb 2018 14:40:58 +0100
Subject: [PATCH] readme

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

diff --git a/README.md b/README.md
index b6675bf..668868a 100644
--- a/README.md
+++ b/README.md
@@ -13,8 +13,9 @@
 
 ## Complilation
 
-Use a Rust toolchain with a llvm4 backend.
+Use a Rust toolchain with a llvm4 backend, e.g., nightly-2018-01-10-x86_64-unknown-linux-gnu.
 
+> rustup override set nightly-2018-01-10-x86_64-unknown-linux-gnu
 
 > xargo build --example empty --features klee_mode --release --target x86_64-unknown-linux-gnu
 
-- 
GitLab