From 67ec44723e9ce232f067964e7e9fb26090be305d Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Fri, 24 Mar 2023 14:27:17 +0000
Subject: tests: add some missing headers

---
 test/Feature/WithLibc.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'test/Feature/WithLibc.c')

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";
-- 
cgit 1.4.1