From 388b52bcf283022733c4160b448a92ab54f02472 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 6 Feb 2014 11:38:25 +0100
Subject: [tests] Fix undefined function

Add some missing header to silence
compiler warnings
---
 .../Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c       | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test/Runtime/Uclibc')

diff --git a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
index 71f6d07a..d82f0eb9 100644
--- a/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
+++ b/test/Runtime/Uclibc/2007-10-08-optimization-calls-wrong-libc-functions.c
@@ -5,10 +5,12 @@
 #include <string.h>
 #include <assert.h>
 
+#include "klee/klee.h"
+
 int main() {
   int a;
 
-  klee_make_symbolic(&a, sizeof a);
+  klee_make_symbolic(&a, sizeof a, "a");
 
   memset(&a, 0, sizeof a);
 
-- 
cgit 1.4.1