1 files changed, 5 insertions, 0 deletions
diff --git a/test/Feature/WithLibc.c b/test/Feature/WithLibc.c
index bb1c66c0..2babbe62 100644
--- a/test/Feature/WithLibc.c
+++ b/test/Feature/WithLibc.c
@@ -4,6 +4,11 @@
 // RUN: echo "good" > %t3.good
 // RUN: diff %t3.log %t3.good
 
+#include "klee/klee.h"
+
+#include <stdio.h>
+#include <string.h>
+
 int main() {
   char buf[4];
   char *s = "foo";