From 3f2d63379a7113db0ac14cd4c058468269fdd6b1 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 28 Feb 2019 10:41:03 +0000
Subject: [PATCH] Add missing include file

We will enable proper type checking when linking library symbols, which
(rightly) fails with a missing include file.
---
 regression/cbmc-cover/built-ins2/main.c | 2 ++
 1 file changed, 2 insertions(+)

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;