From 0255c4041afed713271f82b92b197315f6da2c48 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 7 Dec 2020 16:19:26 +0100
Subject: [PATCH] changed path

---
 examples/get_sign.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/get_sign.c b/examples/get_sign.c
index 297ee47..52e5f75 100644
--- a/examples/get_sign.c
+++ b/examples/get_sign.c
@@ -76,10 +76,10 @@ int main()
 // Depending on shell this might look different:
 //
 // Under `bash` (and `bash` like shells)
-// > export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+// > export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH
 //
 // Under `fish`
-// > set -x LD_LIBRARY_PATH /usr/local/lib/
+// > set -x LD_LIBRARY_PATH /usr/local/lib/:$LD_LIBRARY_PATH
 //
 // > KTEST_FILE=klee-last/test000001.ktest ./a.out
 //
-- 
GitLab