diff options
Diffstat (limited to 'runtime/Intrinsic/klee_int.c')
| -rw-r--r-- | runtime/Intrinsic/klee_int.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Intrinsic/klee_int.c b/runtime/Intrinsic/klee_int.c index 88ec5026..56f0f9dc 100644 --- a/runtime/Intrinsic/klee_int.c +++ b/runtime/Intrinsic/klee_int.c @@ -12,6 +12,6 @@ int klee_int(const char *name) { int x; - klee_make_symbolic_name(&x, sizeof x, name); + klee_make_symbolic(&x, sizeof x, name); return x; } |