1 files changed, 2 insertions, 2 deletions
diff --git a/test/regression/2007-10-12-failed-make-symbolic-after-copy.c b/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
index 144281fa..9d81fad0 100644
--- a/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
+++ b/test/regression/2007-10-12-failed-make-symbolic-after-copy.c
@@ -5,13 +5,13 @@
 int main() {
   unsigned x, y[4];
 
-  klee_make_symbolic(&x,sizeof x);
+  klee_make_symbolic(&x, sizeof x, "x");
   if (x>=4) klee_silent_exit(0);
   
   y[x] = 0;
 
   if (x) { // force branch so y is copied
-    klee_make_symbolic(&y, sizeof y);
+    klee_make_symbolic(&y, sizeof y, "y");
     if (y[x]==0) klee_silent_exit(0);
     return 0; // should be reachable
   } else {