From 99b03c9aa14127bf93a6a4bebe91d4e0689fb493 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 17 Jan 2020 21:40:51 +0100
Subject: [PATCH] README license

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

diff --git a/README.md b/README.md
index 35230b4..881e2ce 100644
--- a/README.md
+++ b/README.md
@@ -48,7 +48,7 @@ As a consequence, you have to eleminate sources of `panic!()` one by one, which
 
 We provide a set of macros `klee_abort`, `klee_assert` and `klee_assert_eq`, that gets fully inlined, allowing KLEE to generate specific tests for each failing assertion. Using these, all errors will be covered by unique test.
 
-## Licencse
+## License
 
 Copyright Per Lindgren.
 
-- 
GitLab