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/Coverage/ReplayOutDir.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/Coverage')

diff --git a/test/Coverage/ReplayOutDir.c b/test/Coverage/ReplayOutDir.c
index 6476f32f..d2e34b6e 100644
--- a/test/Coverage/ReplayOutDir.c
+++ b/test/Coverage/ReplayOutDir.c
@@ -3,6 +3,8 @@
 // RUN: %klee --output-dir=%t1.out %t1.bc
 // RUN: %klee --output-dir=%t1.replay --replay-ktest-dir=%t1.out %t1.bc
 
+#include "klee/klee.h"
+
 int main() {
   int i;
   klee_make_symbolic(&i, sizeof i, "i");
-- 
cgit 1.4.1