diff --git a/regression/cbmc-cover/built-ins2/main.c b/regression/cbmc-cover/built-ins2/main.c
index 6a0ac58c7a..17907fe7fc 100644
--- a/regression/cbmc-cover/built-ins2/main.c
+++ b/regression/cbmc-cover/built-ins2/main.c
@@ -1,3 +1,5 @@
+#include <string.h>
+
 struct mystruct {
   int x;
   char y;