1 files changed, 1 insertions, 1 deletions
diff --git a/examples/sort/sort.c b/examples/sort/sort.c
index a1629c6b..62e4124e 100644
--- a/examples/sort/sort.c
+++ b/examples/sort/sort.c
@@ -71,7 +71,7 @@ void test(int *array, unsigned nelem) {
 int main() {
   int input[4] = { 4, 3, 2, 1};
 
-  klee_make_symbolic(&input, sizeof(input));
+  klee_make_symbolic(&input, sizeof(input), "input");
   test(input, 4);
 
   return 0;