From 34bfaf5f026f7d2ba02a655dcb61e6b826b89010 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Wed, 14 Mar 2018 13:40:40 +0100
Subject: [PATCH] fixed typo in README.md

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

diff --git a/README.md b/README.md
index 8118940..badaa9c 100644
--- a/README.md
+++ b/README.md
@@ -67,7 +67,7 @@ A docker daemon should be started/enabled.
 In the current folder:
 
 ```
-arm-none-eabi-gdb -x klee.py
+arm-none-eabi-gdb -x gdb.py
 ```
 
 The script will build for both KLEE and the MCU, run the KLEE tests and then proceed with testing the KLEE-generated values on the MCU.
-- 
GitLab