From 1ff6bf25228e63677be3f24e2dda82736c5c898c Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Sat, 9 Sep 2017 18:28:30 +0100
Subject: [PATCH] missing include

---
 regression/cbmc-cover/built-ins1/main.c | 5 ++++-
 regression/cbmc-cover/built-ins4/main.c | 2 ++
 regression/cbmc-cover/built-ins5/main.c | 2 ++
 regression/cbmc-cover/built-ins6/main.c | 2 ++
 regression/cbmc-cover/built-ins7/main.c | 2 ++
 5 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/regression/cbmc-cover/built-ins1/main.c b/regression/cbmc-cover/built-ins1/main.c
index 2822ea8e7b2..dceca3a443b 100644
--- a/regression/cbmc-cover/built-ins1/main.c
+++ b/regression/cbmc-cover/built-ins1/main.c
@@ -1,9 +1,11 @@
+#include <string.h>
+
 int main()
 {
   char a[10];
   __CPROVER_input("a[3]", a[3]);
 
-  int len = strlen(a);
+  int len=strlen(a);
 
   if(len==3)
   {
@@ -13,5 +15,6 @@ int main()
   {
     return -1;
   }
+
   return 1;
 }
diff --git a/regression/cbmc-cover/built-ins4/main.c b/regression/cbmc-cover/built-ins4/main.c
index 2822ea8e7b2..06ea031a2e4 100644
--- a/regression/cbmc-cover/built-ins4/main.c
+++ b/regression/cbmc-cover/built-ins4/main.c
@@ -1,3 +1,5 @@
+#include <string.h>
+
 int main()
 {
   char a[10];
diff --git a/regression/cbmc-cover/built-ins5/main.c b/regression/cbmc-cover/built-ins5/main.c
index 2822ea8e7b2..06ea031a2e4 100644
--- a/regression/cbmc-cover/built-ins5/main.c
+++ b/regression/cbmc-cover/built-ins5/main.c
@@ -1,3 +1,5 @@
+#include <string.h>
+
 int main()
 {
   char a[10];
diff --git a/regression/cbmc-cover/built-ins6/main.c b/regression/cbmc-cover/built-ins6/main.c
index 2822ea8e7b2..06ea031a2e4 100644
--- a/regression/cbmc-cover/built-ins6/main.c
+++ b/regression/cbmc-cover/built-ins6/main.c
@@ -1,3 +1,5 @@
+#include <string.h>
+
 int main()
 {
   char a[10];
diff --git a/regression/cbmc-cover/built-ins7/main.c b/regression/cbmc-cover/built-ins7/main.c
index 2822ea8e7b2..06ea031a2e4 100644
--- a/regression/cbmc-cover/built-ins7/main.c
+++ b/regression/cbmc-cover/built-ins7/main.c
@@ -1,3 +1,5 @@
+#include <string.h>
+
 int main()
 {
   char a[10];