1 files changed, 2 insertions, 0 deletions
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");