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/Runtime/klee-libc/bcmp.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/Runtime/klee-libc')

diff --git a/test/Runtime/klee-libc/bcmp.c b/test/Runtime/klee-libc/bcmp.c
index d0f5d7e5..1cc72aa1 100644
--- a/test/Runtime/klee-libc/bcmp.c
+++ b/test/Runtime/klee-libc/bcmp.c
@@ -4,6 +4,8 @@
 
 // test bcmp for sizes including zero
 
+#include "klee/klee.h"
+
 #include <assert.h>
 #include <stdlib.h>
 #include <strings.h>
-- 
cgit 1.4.1