From 299c6d75f2636040b8f36032e96fce0829b62a74 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Sun, 25 Nov 2018 15:50:06 +0100
Subject: [PATCH] README

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

diff --git a/README.md b/README.md
index 9f791cc..60873c8 100644
--- a/README.md
+++ b/README.md
@@ -80,14 +80,15 @@ In this case it is the Rust built in division by zero detection that causes a `p
 The error found is at line 24.
 
 ``` rust
-
 #![no_std]
+#![no_main]
 
 #[macro_use]
 extern crate klee;
 
 use core::ptr;
 
+#[no_mangle]
 fn main() {
     let u = ksymbol!("u");
 
@@ -102,6 +103,6 @@ fn f1(u: u8) -> u8 {
 }
 
 fn f2(u: u8) -> u8 {
-    100 / u // <- error found here is a Rust div 0 panic! .
+    100 / u // <- Rust div 0 panic! 
 }
 ```
\ No newline at end of file
-- 
GitLab