From f4c4df319bbfee584555f32ce2b697a3f2d8ee8d Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 7 Dec 2020 15:45:33 +0100
Subject: [PATCH] typo

---
 examples/get_sign.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 738d965..fe895bf 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -51,7 +51,7 @@ int main()
 // What path in the code does this test represent?
 //
 // [your answer here]
-// > ktest-tool klee-last/test000002.ktest
+// > ktest-tool klee-last/test000003.ktest
 //
 // What path in the code does this test represent?
 //
-- 
GitLab