1 files changed, 1 insertions, 1 deletions
diff --git a/test/Feature/Searchers.c b/test/Feature/Searchers.c
index 9e0bc722..a24cb7a3 100644
--- a/test/Feature/Searchers.c
+++ b/test/Feature/Searchers.c
@@ -54,7 +54,7 @@ int main(int argc, char **argv) {
   unsigned char *buf = malloc(N);
   int i;
   
-  klee_make_symbolic(buf, N);
+  klee_make_symbolic(buf, N, "buf");
   if (validate(buf, N))
     return buf[0];
   return 0;